{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:28Z","timestamp":1725455968171},"publisher-location":"Berlin\/Heidelberg","reference-count":18,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354008360X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0021429","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:19:12Z","timestamp":1132723152000},"page":"313-320","source":"Crossref","is-referenced-by-count":2,"title":["Remarks on the impact of program verification on language design"],"prefix":"10.1007","author":[{"given":"Raiph L.","family":"London","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Ambler, A. L., D. I. Good, J. C. Browne, W. F. Burger, R. M. Cohen, C. G. Hoch, and R. E. Wells, \"Gypsy: A Language for Specification and Implementation of Verifiable Programs,\" Proceedings of Language Design for Reliable Software, 1977 (to appear).","DOI":"10.1145\/800022.808306"},{"issue":"2","key":"14_CR2","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1109\/TSE.1975.6312840","volume":"SE-1","author":"P. Brinch Hansen","year":"1975","unstructured":"Brinch Hansen, P., \"The Programming Language Concurrent Pascal,\" IEEE Transactions on Software Engineering, Vol. SE-1, No. 2, June 1975, pp. 199\u2013207.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"12","key":"14_CR3","first-page":"21","volume":"11","author":"R. Conway","year":"1976","unstructured":"Conway, R., \"PL\/CS\u2014A Highly Disciplined Subset of PL\/C,\" SIGPLAN Notices, Vol. 11, No. 12, December 1976, pp. 21\u201324. Also Cornell University Technical Report TR76-273, March 1976.","journal-title":"SIGPLAN Notices"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Dijkstra, E. W., \"Correctness Concerns and, Among Other Reasons, Why They Are Resented,\" Proceedings of the International Conference on Reliable Software, 1975, pp. 546\u2013550. Also SIGPLAN Notices, Vol. 10, No. 6, June 1975.","DOI":"10.1145\/390016.808478"},{"issue":"8","key":"14_CR5","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E. W. Dijkstra","year":"1975","unstructured":"Dijkstra, E. W., \"Guarded Commands, Nondeterminacy and Formal Derivation of Programs,\" Communications of ACM, Vol. 18, No. 8, August 1975, pp. 453\u2013457.","journal-title":"Communications of ACM"},{"key":"14_CR6","unstructured":"Guttag, J. V., J. J. Horning, and R. L. London, A Proof Rule for Euclid Procedures, 1977 (submitted for publication)."},{"issue":"4","key":"14_CR7","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R., \"Proof of Correctness of Data Representations,\" Acta Information, Vol. 1, No. 4, 1972, pp. 271\u2013281.","journal-title":"Acta Information"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Jensen, K., and N. Wirth, PASCAL User Manual and Report, Lecture Notes in Computer Science, Vol. 18, G. Goos and J. Hartmanis, (eds.), Springer-Verlag, 1974.","DOI":"10.1007\/978-3-662-21554-8_1"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Lampson, B. W., J. J. Horning, R. L. London, J. G. Mitchell, and G. J. Popek, \"Report on the Programming Language Euclid,\" SIGPLAN Notices, 1977 (to appear).","DOI":"10.1145\/954666.971189"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Liskov, B., A. Snyder, R. Atkinson, and C. Shaffert, \"Abstraction Mechanisms in Clu,\" Proceedings of Language Design for Reliable Software, 1977 (to appear). Also MIT Computation Structures Group Memo 144, October 1976.","DOI":"10.1145\/800022.808322"},{"key":"14_CR11","unstructured":"London, R. L., M. Shaw, and W. A. Wulf, Abstraction and Verification in Alphard: A Symbol Table Example, Carnegie-Mellon University and USC Information Sciences Institute Technical Reports, 1976."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"London, R. L., J. V. Guttag, J. J. Horning, B. W. Lampson, J. G. Mitchell, and G. J. Popek, Proof Rules for the Programming Language Euclid, 1977.","DOI":"10.1007\/BF00260921"},{"key":"14_CR13","unstructured":"Popek, G. J., J. J. Horning, B. W. Lampson, R. L. London, and J. G. Mitchell, \"Some Design Issues in Euclid\" (working title), Proceedings of Language Design for Reliable Software, 1977 (to appear)."},{"key":"14_CR14","unstructured":"Shaw, M., \"Abstraction and Verification in Alphard: Design and Verification of a Tree Handler,\" Proceedings of Fifth Texas Conference on Computing Systems, 1976, pp. 86\u201394. Also Carnegie-Mellon University Technical Report, 1976."},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Shaw, M., W. A. Wulf, and R. L. London, Abstraction and Verification in Alphard: Iteration and Generators, Carnegie-Mellon University and USC Information Sciences Institute Technical Reports, 1976. Also Communications of ACM (to appear).","DOI":"10.21236\/ADA030286"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Wulf, W. A., R. L. London, and M. Shaw, Abstraction and Verification in Alphard: Introduction to Language and Methodology, Carnegie-Mellon University and USC Information Sciences Institute Technical Reports, 1976.","DOI":"10.21236\/ADA028365"},{"issue":"4","key":"14_CR17","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1109\/TSE.1976.233830","volume":"SE-2","author":"W. A. Wulf","year":"1976","unstructured":"Wulf, W. A., R. L. London, and M. Shaw, \"An Introduction to the Construction and Verification of Alphard Programs,\" IEEE Transactions on Software Engineering, Vol. SE-2, No. 4, December 1976, pp. 253\u2013265.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR18","unstructured":"Wulf, W. A., M. Shaw, and R. L. London, \"Achieving Quality Software: Reflections on the Aims and Objectives of Alphard,\" Computer Science Research Review 1975\u201376, Carnegie-Mellon University, pp. 7\u201315."}],"container-title":["Lecture Notes in Computer Science","Design and Implementation of Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0021429","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:18:12Z","timestamp":1586578692000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021429"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354008360X"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0021429","relation":{},"subject":[]}}