{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:51:26Z","timestamp":1725637886509},"publisher-location":"London","reference-count":11,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198543"},{"type":"electronic","value":"9781447132295"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3229-5_5","type":"book-chapter","created":{"date-parts":[[2011,11,26]],"date-time":"2011-11-26T05:07:19Z","timestamp":1322284039000},"page":"83-100","source":"Crossref","is-referenced-by-count":0,"title":["Generation of Proof Obligations for Type Consistency (Extended Abstract)"],"prefix":"10.1007","author":[{"given":"Flemming M.","family":"Damm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo Stig","family":"Hansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"The Vienna Development Method: The Meta-Language","author":"D Ajmer","year":"1978","unstructured":"D. Ajmer and C.B. Jones, editors. The Vienna Development Method: The Meta-Language, volume 61 of Lecture Notes in Computer Science. Springer-Verlag, 1978."},{"key":"5_CR2","first-page":"70","volume-title":"Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages (POPL\u201988)","author":"L Cardelli","year":"1988","unstructured":"Luca Cardelli. Structural subtyping and the notion of power type. In Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages (POPL\u201988), pages 70\u201379, 1988."},{"key":"5_CR3","first-page":"278","volume-title":"Proceedings of the ACM SIGPLAN\u201991 Conference on Programming Language Design and Implementation (PLDI\u201991)","author":"R Cartwright","year":"1991","unstructured":"Robert Cartwright and Mike Fagan. Soft typing. In Proceedings of the ACM SIGPLAN\u201991 Conference on Programming Language Design and Implementation (PLDI\u201991), pages 278\u2013292. ACM Press, 1991."},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/3-540-54834-3_6","volume-title":"Proceedings of 4th International Symposium of VDM Europe on Formal Software Development Methods (VDM\u201991), Noordwijkerhout, The Netherlands, October 1991, Volume 1: Conference Contributions","author":"F Damm","year":"1991","unstructured":"Flemming Damm, Bo Stig Hansen, and Hans Bruun. On type checking in VDM and related consistency issues. In S. Prehn and W. J. Toetenel, editors, Proceedings of 4th International Symposium of VDM Europe on Formal Software Development Methods (VDM\u201991), Noordwijkerhout, The Netherlands, October 1991, Volume 1: Conference Contributions, volume 551 of Lecture Notes in Computer Science, pages 45\u201362. Springer-Verlag, 1991."},{"key":"5_CR5","volume-title":"Technical Report ID-TR","author":"FM Damm","year":"1993","unstructured":"Flemming M. Damm and Bo Stig Hansen. Generation of proof obligations for type consistency. Technical Report ID-TR: 1993\u2013123, Department of Computer Science, The Technical University of Denmark, 1993."},{"key":"5_CR6","first-page":"282","volume-title":"Proceedings of the 1990 ACM Conference on Lisp and Funtional Programming","author":"K Carsten","year":"1990","unstructured":"Carsten K. Gomard. Partial type inference for untyped functional programs (extended abstract). In Proceedings of the 1990 ACM Conference on Lisp and Funtional Programming, pages 282\u2013287, 1990."},{"key":"5_CR7","volume-title":"The RAISE specification Language","author":"The RAISE Language Group","year":"1992","unstructured":"The RAISE Language Group. The RAISE specification Language. BCS Practitioner Series. Prentice Hall, 1992."},{"key":"5_CR8","volume-title":"Systematic Software Development using VDM","author":"B Cliff","year":"1990","unstructured":"Cliff B. Jones. Systematic Software Development using VDM. Prentice Hall International series in computer science. Prentice Hall, second edition, 1990."},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R Milner","year":"1978","unstructured":"Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17: 348\u2013375, 1978.","journal-title":"Journal of Computer and System Sciences"},{"key":"5_CR10","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1007\/3-540-55602-8_217","volume-title":"Proceedings of 11th International Conference on Automated Deduction (CADE-11), Saratoga Springs, NY, USA, June 1992","author":"S Owre","year":"1992","unstructured":"S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype verification system. In D. Kapur, editor, Proceedings of 11th International Conference on Automated Deduction (CADE-11), Saratoga Springs, NY, USA, June 1992, volume 607 of Lecture Notes in Artificial Intelligence, pages 748\u2013752. Springer-Verlag, 1992."},{"key":"5_CR11","volume-title":"Type Theory and Functional Programming","author":"S Thompson","year":"1991","unstructured":"Simon Thompson. Type Theory and Functional Programming. International Computer Science Series. Addison-Wesley, 1991."}],"container-title":["Workshops in Computing","Semantics of Specification Languages (SoSL)"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3229-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,28]],"date-time":"2020-06-28T01:28:02Z","timestamp":1593307682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3229-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198543","9781447132295"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3229-5_5","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}