{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:08Z","timestamp":1725663728228},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540525134"},{"type":"electronic","value":"9783540470069"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52513-0_21","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:34:30Z","timestamp":1330205670000},"page":"399-425","source":"Crossref","is-referenced-by-count":4,"title":["Type checking BSI\/VDM-SL"],"prefix":"10.1007","author":[{"given":"Nico","family":"Plat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ronald","family":"Huijsman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Katwijk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gertjan","family":"Oosten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kees","family":"Pronk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Toetenel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"21_CR1","unstructured":"Peter Bouwman. IDL als interface generator voor VDM-SL. Master's thesis, Delft University of Technology, Faculty of Technical Mathematics and Informatics, P.O. Box 356, NL-2600 AJ Delft, The Netherlands, January 1990. Written in Dutch."},{"key":"21_CR2","unstructured":"VDM Specification Language \u2014 Proto-Standard. 11th August 1989. BSI IST\/5\/50 document N-40."},{"key":"21_CR3","unstructured":"N.D. North. Context conditions: statements. August 1988. BSI IST\/5\/50 document N-89."},{"key":"21_CR4","unstructured":"N.D. North. Context conditions: expressions. February 1989. BSI IST\/5\/50 document N-90."},{"key":"21_CR5","doi-asserted-by":"crossref","first-page":"679","DOI":"10.1145\/361227.361231","volume":"18","author":"M. Jazayeri","year":"1975","unstructured":"M. Jazayeri, W.F. Ogden, W.C. Rounds. The intrinsically exponential complexity of the circularity problem for attributed grammars. Communications of the ACM, 18:679\u2013706, 1975.","journal-title":"Communications of the ACM"},{"key":"21_CR6","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/BF00288644","volume":"13","author":"U. Kastens","year":"1980","unstructured":"U. Kastens. Ordered Attribute Grammars. Acta Informatica, 13:229\u2013256, 1980.","journal-title":"Acta Informatica"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"GAG: A Practical Compiler Generator","author":"U. Kastens","year":"1982","unstructured":"U. Kastens, B. Hutt, E. Zimmermann. GAG: A Practical Compiler Generator. Lecture Notes in Computer Science no. 141, Springer Verlag, Berlin, 1982."},{"key":"21_CR8","unstructured":"J. van Katwijk. The Ada-compiler. PhD thesis, Delft University of Technology, Faculty of Technical Mathematics and Informatics, P.O. Box 356, NL-2600 AJ Delft, The Netherlands, 1987."},{"key":"21_CR9","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D.E. Knuth","year":"1968","unstructured":"D.E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2:127\u2013145, 1968. Errata: 5:95\u201396, 1971.","journal-title":"Mathematical Systems Theory"},{"key":"21_CR10","unstructured":"B. Monahan, A. Walshe. Context Conditions for the STC VDM Reference Language. Technical Report 725 05308 ed. 2, STC plc\/Manchester University, February 1986."},{"key":"21_CR11","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/3-540-17654-3_13","volume-title":"VDM \u2014 A Formal Method at Work; proc. of the 1st VDM-Europe Symposium","author":"B.Q. Monahan","year":"1987","unstructured":"B.Q. Monahan. A Type Model for VDM. In D. Bj\u00f8rner and C.B. Jones, editors, VDM \u2014 A Formal Method at Work; proc. of the 1st VDM-Europe Symposium, pages 210\u2013236, Springer-Verlag, Berlin, March 1987."},{"key":"21_CR12","unstructured":"J.R. Nestor, W.A. Wulf, D.A. Lamb. IDL Formal Description. June 1982. University of North Carolina, SoftLab Document No. 2."},{"key":"21_CR13","unstructured":"Gertjan van Oosten. A VDM-SL editor programmed with the Synthesizer Generator. Master's thesis, Delft University of Technology, Faculty of Technical Mathematics and Informatics, P.O. Box 356, NL-2600 AJ Delft, The Netherlands, November 1989."},{"key":"21_CR14","unstructured":"Nico Plat. Towards a VDM-SL Compiler. Master's thesis, Delft University of Technology, Faculty of Technical Mathematics and Informatics, P.O. Box 356, NL-2600 AJ Delft, The Netherlands, December 1988."},{"key":"21_CR15","unstructured":"Nico Plat, Hans Toetenel. An architecture for a VDM-based SEE. Technical Report, Delft University of Technology, Faculty of Technical Mathematics and Informatics, P.O. Box 356, NL-2600 AJ Delft, The Netherlands, 1990. To appear."},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Thomas Reps, Tim Teitelbaum. The Synthesizer Generator. In Proc. of the SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pages 42\u201348, 1984.","DOI":"10.1145\/800020.808247"},{"key":"21_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9623-9","volume-title":"The Synthesizer Generator: A System for Constructing Language-Based Editors","author":"T. W. Reps","year":"1989","unstructured":"Thomas W. Reps, Tim Teitelbaum. The Synthesizer Generator: A System for Constructing Language-Based Editors. Springer-Verlag, New York, 1989."},{"key":"21_CR18","unstructured":"R. Sethi. Programming Languages, Concepts and Constructs. Addison-Wesley, 1989."},{"issue":"3","key":"21_CR19","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1016\/0020-0190(80)90060-5","volume":"10","author":"P. Wallis","year":"1980","unstructured":"P. Wallis, B. Silverman. Efficient implementation of the Ada overload rules. Information Processing Letters, 10(3):120\u2013123, April 1980.","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","VDM '90 VDM and Z \u2014 Formal Methods in Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52513-0_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:08:09Z","timestamp":1619572089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52513-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540525134","9783540470069"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-52513-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}