{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:27Z","timestamp":1742617107577,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580270"},{"type":"electronic","value":"9783540484196"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58027-1_30","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:09:03Z","timestamp":1330268943000},"page":"603-626","source":"Crossref","is-referenced-by-count":5,"title":["An operational semantics for TOOPLE: A statically-typed object-oriented programming language"],"prefix":"10.1007","author":[{"given":"Kim B.","family":"Bruce","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Crabtree","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerald","family":"Kanapathy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"30_CR1","unstructured":"M Abadi. Doing without F-bounded quantification. Message to Types electronic mail list, February, 1992."},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"K. Bruce, J. Crabtree, A. Dimock, R. Muller, T. Murtagh, and R. van Gent. Safe and decidable type checking in an object-oriented language. In Proc. ACM Symp. on Object-Oriented Programming: Systems, Languages, and Applications, pages 29\u201346, 1993.","DOI":"10.1145\/165854.165865"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Gilad Bracha and David Griswold. Strongtalk: Typechecking Smalltalk in a production environment. In Proc. ACM Symp. on Object-Oriented Programming: Systems, Languages, and Applications, pages 215\u2013230, 1993.","DOI":"10.1145\/165854.165893"},{"issue":"1\/2","key":"30_CR4","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1016\/0890-5401(90)90062-M","volume":"87","author":"K. Bruce","year":"1990","unstructured":"K. Bruce and G. Longo. A modest model of records, inheritance and bounded quantification. Information and Computation, 87(1\/2):196\u2013240, 1990.","journal-title":"Information and Computation"},{"key":"30_CR5","unstructured":"K. Bruce. A paradigmatic object-oriented programming language: design, static typing and semantics. Technical Report CS-92-01, revised, Williams College, 1993. To appear in Journal of Functional Programming."},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"K. Bruce. Safe type checking in a statically typed object-oriented programming language. In Proc. ACM Symp. on Principles of Programming Languages, pages 285\u2013298, 1993.","DOI":"10.1145\/158511.158650"},{"key":"30_CR7","unstructured":"Kim B. Bruce and Robert van Gent. TOIL: A new type-safe object-oriented imperative language, to appear, 1993."},{"key":"30_CR8","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"L. Cardelli. A semantics of multiple inheritance. Information and Computation, 76:138\u2013164, 1988. Special issue devoted to Symp. on Semantics of Data Types, Sophia-Antipolis (France), 1984.","journal-title":"Information and Computation"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"L. Cardelli. Structural subtyping and the notion of powertype. In Proc 15th ACM Symp. Principles of Programming Languages, pages 70\u201379, 1988.","DOI":"10.1145\/73560.73566"},{"key":"30_CR10","unstructured":"Luca Cardelli. Extensible records in a pure calculus of subtyping. Technical Report 81, DEC Systems Research Center, 1992."},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"P. Canning, W. Cook, W. Hill, J. Mitchell, and W. Olthoff. F-bounded quantification for object-oriented programming. In Functional Prog. and Computer Architecture, pages 273\u2013280, 1989.","DOI":"10.1145\/99370.99392"},{"key":"30_CR12","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1017\/S0960129500001134","volume":"2","author":"P.L. Curien","year":"1992","unstructured":"P.L. Curien and G. Ghelli. Coherence of subsumption, minimum typing and type-checking in F \u2264. Mathematical Structures in Computer Science, 2:55\u201391, 1992.","journal-title":"Mathematical Structures in Computer Science"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with subtyping. In Proc. ACM Symp. Lisp and Functional Programming Languages, pages 182\u2013192, 1992.","DOI":"10.1145\/141471.141537"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"William R. Cook, Walter L. Hill, and Peter S. Canning. Inheritance is not subtyping. In Proc. 17th ACM Symp. on Principles of Programming Languages, pages 125\u2013135, January 1990.","DOI":"10.1145\/96709.96721"},{"issue":"4","key":"30_CR15","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1017\/S0956796800000198","volume":"1","author":"L. Cardelli","year":"1991","unstructured":"Luca Cardelli and Giuseppe Longo. A semantic basis for Quest. Journal of Functional Programming, 1(4):417\u2013458, 1991.","journal-title":"Journal of Functional Programming"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"L. Cardelli and J.C. Mitchell. Operations on records. In Math. Foundations of Prog. Lang. Semantics, pages 22\u201352. Springer LNCS 442, 1990.","DOI":"10.1007\/BFb0040253"},{"issue":"4","key":"30_CR17","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471\u2013522, 1985.","journal-title":"Computing Surveys"},{"key":"30_CR18","unstructured":"Carl A. Gunter. Semantics of Programming Languages: Structures and Techniques. MIT Press, 1992."},{"key":"30_CR19","doi-asserted-by":"crossref","unstructured":"J.C. Mitchell. Toward a typed foundation for method specialization and inheritance. In Proc. 17th ACM Symp. on Principles of Programming Languages, pages 109\u2013124, January 1990.","DOI":"10.1145\/96709.96719"},{"key":"30_CR20","unstructured":"Hanne Riis Nielson and Flemming Nielson. Semantics with applications: A formal introduction. John Wiley & Sons, 1992."},{"key":"30_CR21","unstructured":"Benjamin C. Pierce and Martin Hoffman. An abstract view of objects and subtyping (preliminary report). Technical Report ECS-LFCS-92-226, University of Edinburgh, 1992."},{"key":"30_CR22","doi-asserted-by":"crossref","unstructured":"Benjamin C. Pierce. Bounded quantification is undecidable. In Proc 19th ACM Symp. Principles of Programming Languages, pages 305\u2013315, 1992.","DOI":"10.1145\/143165.143228"},{"key":"30_CR23","unstructured":"Benjamin C. Pierce and David N. Turner. Simple type-theoretic foundations for object-oriented programming. Technical report, University of Edinburgh, 1992."},{"key":"30_CR24","doi-asserted-by":"crossref","unstructured":"Benjamin C. Pierce and David N. Turner. Object-oriented programming without recursive types. In Proc 20th ACM Symp. Principles of Programming Languages, pages 299\u2013312, 1993.","DOI":"10.1145\/158511.158653"},{"key":"30_CR25","unstructured":"Robert van Gent. TOIL: An imperative type-safe object-oriented language. Williams College Senior Honors Thesis, 1993."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58027-1_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:18:23Z","timestamp":1742595503000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58027-1_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580270","9783540484196"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-58027-1_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}