{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:15Z","timestamp":1725664875618},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635338"},{"type":"electronic","value":"9783540695936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63533-5_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:28:45Z","timestamp":1330298925000},"page":"258-277","source":"Crossref","is-referenced-by-count":1,"title":["Automatic translation of VDM-SL specifications into gofer"],"prefix":"10.1007","author":[{"given":"Paul","family":"Mukherjee","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"B. K. Aichernig and P. G. Larsen. A Proof Obligation Generator for VDM-SL. Submitted to FME '97, 1997.","key":"14_CR1","DOI":"10.1007\/3-540-63533-5_18"},{"unstructured":"V.S. Alagar, D. Muthiayen, and R. Achuthan. Animating Real-Time Reactive Systems. In A. Stoyenko, editor, ICECCS '96. IEEE Computer Society, 1995.","key":"14_CR2"},{"doi-asserted-by":"crossref","unstructured":"J.C. Bicarregui, J.S. Fitzgerald, P.A. Lindsay, R. Moore, and B. Ritchie. Proof in VDM: A Practitioner's Guide. Springer-Verlag, 1994.","key":"14_CR3","DOI":"10.1007\/978-1-4471-2033-9"},{"unstructured":"H. Boehm and R. Cartwright. Exact Real Arithmetic. In D. Turner, editor, Research Topics in Functional Programming. Addison-Wesley, 1990.","key":"14_CR4"},{"key":"14_CR5","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0164-1212(93)90028-V","volume":"21","author":"P. Borba","year":"1993","unstructured":"P. Borba and S. Meira. From VDM Specifications to Functional Prototypes. Journal of Systems and Software, 21:267\u2013278, 1993.","journal-title":"Journal of Systems and Software"},{"doi-asserted-by":"crossref","unstructured":"A. J. J. Dick, P. J. Krause, and J. Cozens. Computer Aided Transformation of Z into Prolog. In J. Nicholls, editor, Z User Workshop. Springer-Verlag, 1989.","key":"14_CR6","DOI":"10.1007\/978-1-4471-3877-8_5"},{"doi-asserted-by":"crossref","unstructured":"R. Elmstrom, P.G. Larsen, and P.B. Lassen. The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications. ACM Sigplan Notices, 29(9), 1994.","key":"14_CR7","DOI":"10.1145\/185009.185028"},{"doi-asserted-by":"crossref","unstructured":"N.E. Fuchs. Specifications are (preferably) executable. Software Engineering Journal, September 1992.","key":"14_CR8","DOI":"10.1049\/sej.1992.0033"},{"doi-asserted-by":"crossref","unstructured":"I.J. Hayes and C.B. Jones. Specifications are not (necessarily) executable. Software Engineering Journal, 4(6), 1989.","key":"14_CR9","DOI":"10.1049\/sej.1989.0045"},{"doi-asserted-by":"crossref","unstructured":"P. Hudak, S.L. Peyton-Jones, and P. L. Wadler. Report on the Functional Programming Language Haskell: A Non-strict Purely Functional Language. ACM SIGPLAN Notices, 27(5), March 1992.","key":"14_CR10","DOI":"10.1145\/130697.130699"},{"unstructured":"M. P. Jones. The implementation of the Gofer functional programming system. Technical Report YALE U\/DCS\/RR-1030, Yale University, 1994.","key":"14_CR11"},{"doi-asserted-by":"crossref","unstructured":"P.G. Larsen and P.B. Lassen. An Executable Subset of Meta-IV with Loose Specification. In Prehn and Toetenel [22].","key":"14_CR12","DOI":"10.1007\/3-540-54834-3_36"},{"doi-asserted-by":"crossref","unstructured":"J. Launchbury and S. Peyton-Jones. Lazy Functional State Threads. In ACM Programming Languages Design and Implementation. ACM Press, 1993.","key":"14_CR13","DOI":"10.1145\/178243.178246"},{"unstructured":"D. MacQueen, R. Harper, and Milner R. Standard ML. Technical Report ECSLFCS-86-2, Department of Computer Science, University of Edinburgh, 1986.","key":"14_CR14"},{"issue":"4","key":"14_CR15","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1049\/sej.1995.0017","volume":"10","author":"P. Mukherjee","year":"1995","unstructured":"P. Mukherjee. Computer-aided Validation of Formal Specifications. Software Engineering Journal, 10(4):133\u2013140, July 1995.","journal-title":"Software Engineering Journal"},{"unstructured":"P. Mukherjee and B.A. Wichmann. Formal Specification of the STV Algorithm. In M.G. Hinchey and J. P. Bowen, editors, Applications of Formal Methods. Prentice Hall, 1995.","key":"14_CR16"},{"unstructured":"D. S. Neilson and I. H. S\u00f8renson. The B-Technologies: a system for computeraided programming. In 6th Nordic Workshop on Programming Theory, 1994.","key":"14_CR17"},{"doi-asserted-by":"crossref","unstructured":"G. O' Neill. Automatic Translation of VDM specifications into Standard ML programs. The Computer Journal, 35(6), 1992.","key":"14_CR18","DOI":"10.1093\/comjnl\/35.6.623"},{"unstructured":"P. G. Larsen and B. S. Hansen and H. Brunn N. Plat and H. Toetenel and D. J. Andrews and J. Dawes and G. Parkin and others. Information technology-Programming languages, their environments and system software interfaces-Vienna Development Method-Specification Language-Part 1: Base language, December 1996.","key":"14_CR19"},{"doi-asserted-by":"crossref","unstructured":"G. I. Parkin and G. O'Neill. Specification of the MAA standard in VDM. In Prehn and Toetenel [22].","key":"14_CR20","DOI":"10.1007\/3-540-54834-3_31"},{"doi-asserted-by":"crossref","unstructured":"S. Peyton-Jones and P. Wadler. Imperative Functional Programming. In 20th ACM Symposium on Principles of Programming Languages. ACM Press, 1993.","key":"14_CR21","DOI":"10.1145\/158511.158524"},{"doi-asserted-by":"crossref","unstructured":"S. Prehn and W. J. Toetenel, editors. VDM'91: Formal Software Development Methods, number 551 in Lecture Notes in Computer Science. Springer-Verlag, 1991.","key":"14_CR22","DOI":"10.1007\/BFb0019994"}],"container-title":["Lecture Notes in Computer Science","FME '97: Industrial Applications and Strengthened Foundations of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63533-5_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:44Z","timestamp":1605647924000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63533-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635338","9783540695936"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-63533-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}