{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:39Z","timestamp":1725663339845},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540548348"},{"type":"electronic","value":"9783540464495"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54834-3_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:14:18Z","timestamp":1330211658000},"page":"220-253","source":"Crossref","is-referenced-by-count":18,"title":["An approach to the static semantics of VDM-SL"],"prefix":"10.1007","author":[{"given":"Hans","family":"Bruun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo Stig","family":"Hansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Flemming","family":"Damm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"15_CR1","unstructured":"Samson Abramsky and Chris Hankin, editors. Abstract Interpretation of Declarative Languages. Ellis Horwood Series in Computers and Their Applications. Ellis Horwood Limited, 1987."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Marek Bednarczyk, Andrzej M. Borzyszkowski, and Wies\u0142aw Paw\u0142owski. Towards the semantics of the definitional language of MetaSoft. In VDM '90, VDM and Z\u2014 Formal Methods in Software Development, volume 428 of Lecture Notes in Computer Science, pages 477\u2013503. VDM-Europe, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52513-0_24"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Dines Bj\u00f8rner and Cliff B. Jones, editors. The Vienna Development Method: The Meta-Language, volume 61 of Lecture Notes in Computer Science. Springer-Verlag, 1978.","DOI":"10.1007\/3-540-08766-4"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Hans Bruun, Bo Stig Hansen, and Flemming Damm. An approach to the static semantics of VDM-SL. Technical Report 1991-90, Department of Computer Science, The Technical University of Denmark, 1991.","DOI":"10.1007\/3-540-54834-3_15"},{"key":"15_CR5","unstructured":"Flemming Damm, Bo Stig Hansen, and Hans Bruun. Type checking in VDM and related consistency issues. This volume."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Robert Harper and Benjamin Pierce. A record calculus based on symmetric concatenation. Technical report, School of Computer Science, Carnegie Mellon University, 1990.","DOI":"10.1145\/99583.99603"},{"key":"15_CR7","unstructured":"Cliff B. Jones. Systematic Software Development Using VDM. Series in Computer Science. Prentice-Hall International, 2. edition, 1990."},{"key":"15_CR8","unstructured":"Peter Gorm Larsen. The dynamic semantics of the BSI\/VDM specification language. Draft version, August 1990."},{"key":"15_CR9","unstructured":"Robert Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990."},{"key":"15_CR10","unstructured":"B. Monahan and A. Walsh. Context conditions for the STC VDM reference language. Technical Report 725 05308 ed. 2, STC plc\/Manchester University, 1986."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Nico Plat, Ronald Hiujsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, and Hans Toetenel. Type checking BSI\/VDM-SL. In VDM '90, VDM and Z\u2014 Formal Methods in Software Development, volume 428 of Lecture Notes in Computer Science, pages 399\u2013425. VDM-Europe, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52513-0_21"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Andrzej Tarlecki and Morten Wieth. A naive domain universe for VDM. In VDM '90, VDM and Z-Formal Methods in Software Development, volume 428 of Lecture Notes in Computer Science, pages 552\u2013579. VDM-Europe, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52513-0_27"}],"container-title":["Lecture Notes in Computer Science","VDM'91 Formal Software Development Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54834-3_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:34Z","timestamp":1605646594000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54834-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540548348","9783540464495"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-54834-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}