{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:35:30Z","timestamp":1761597330646},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540534877"},{"type":"electronic","value":"9783540463139"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53487-3_39","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:06:33Z","timestamp":1330207593000},"page":"115-132","source":"Crossref","is-referenced-by-count":2,"title":["Towards constructive program derivation in VDM"],"prefix":"10.1007","author":[{"given":"Christopher P.","family":"Lewington","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of Constructive Mathematics","author":"M. J. Beeson","year":"1985","unstructured":"Beeson, M. J., Foundations of Constructive Mathematics, Springer-Verlag: New York, 1985"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Bloomfield, R., et al (eds.), VDM 88: VDM \u2014 The Way Ahead, Proceedings of the 2nd VDM symposium, Dublin, Ireland, Lecture Notes in Computer Science 328, 1988.","DOI":"10.1007\/3-540-50214-9"},{"key":"9_CR3","volume-title":"Publications of Research Institute for Mathematical Sciences","author":"S. Hayashi","year":"1987","unstructured":"Hayashi, S. and Nakano, T., PX: A Computational Logic, Publications of Research Institute for Mathematical Sciences, Kyoto University, Tokyo, 1987."},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01887204","volume":"1","author":"M. C. Henson","year":"1989","unstructured":"Henson, M. C. Program Development in the Constructive Theory TK, Formal Aspects of Computing 1, pp. 173\u2013189, 1989.","journal-title":"Formal Aspects of Computing"},{"key":"9_CR5","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-51305-1_14","volume":"375","author":"M. C. Henson","year":"1989","unstructured":"Henson, M. C., Realizability Models for Program Construction, Proceedings of Groningen conference on Mathematics of Program Construction, Lecture Notes in Compute 375, pp. 256\u2013272, 1989.","journal-title":"Lecture Notes in Compute"},{"key":"9_CR6","unstructured":"Henson, M. C., Information Loss in the Constructive Theory TK, Proc. IFIP WC2 working conference on programming concepts and methods, Israel, 1990."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Henson, M. C. and Turner, R. A Constructive Set Theory for Program Development, Proc. 8th Conference on FST and TCS, Pune, India 1988.","DOI":"10.1007\/3-540-50517-2_89"},{"key":"9_CR8","unstructured":"Jones, C. B., Systematic Software Development using VDM, Prentice-Hall International (U. K.), 1986."},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/2269016","volume":"10","author":"S. C. Kleene","year":"1945","unstructured":"Kleene, S. C. On the Interpretation of Intuitionistic Number Theory, Journal of Symbolic Logic Vol. 10, pp. 109\u2013124, 1945.","journal-title":"Journal of Symbolic Logic"},{"key":"9_CR10","unstructured":"Lewington, C. P., Towards Constructive Specification Transformation, PhD thesis, University of Essex Department of Computer Science, 1990."},{"key":"9_CR11","unstructured":"Lewington, C. P. and Henson, M. C., Deriving Denotational Semantics from Axiomatic Semantics in Constructive Set Theory, submitted to\u2019 Formal Aspects of Computing', April 1990."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Martin-L\u00f6f, P., Constructive Mathematics and Computer Programming, in: Logic, Methodology and Philosophy of Science VI, pp. 153\u2013175, North Holland, 1982.","DOI":"10.1016\/S0049-237X(09)70189-2"},{"key":"9_CR13","volume-title":"Denotational Semantics: The Scott-Strachey Approach To Programming Language Theory","author":"J. E. Stoy","year":"1977","unstructured":"Stoy, J. E., Denotational Semantics: The Scott-Strachey Approach To Programming Language Theory, M. I. T. Press: London, 1977."},{"key":"9_CR14","volume-title":"Program Correctness Over Abstract Data Types, with Errorstate Semantics","author":"J. V. Tucker","year":"1988","unstructured":"Tucker, J. V. and Zucker, J. Program Correctness Over Abstract Data Types, with Errorstate Semantics, North-Holland: Amsterdam, 1988."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53487-3_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:50:13Z","timestamp":1605646213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53487-3_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540534877","9783540463139"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-53487-3_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}