An operational semantics for TOOPLE: A statically-typed object-oriented programming language-Reference-Cited by-同舟云学术

An operational semantics for TOOPLE: A statically-typed object-oriented programming language

Published:1994 Issue: Volume: Page:603-626
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bruce Kim B.,Crabtree Jonathan,Kanapathy Gerald

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58027-1_30.pdf

Reference25 articles.

1. M Abadi. Doing without F-bounded quantification. Message to Types electronic mail list, February, 1992.

2. 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–46, 1993.

3. 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–230, 1993.

4. K. Bruce and G. Longo. A modest model of records, inheritance and bounded quantification. Information and Computation, 87(1/2):196–240, 1990.

5. 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.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. rCOS: A Refinement Calculus of Internetware Systems;Internetware;2016

2. Defining Object-Oriented Execution Semantics Using Graph Transformations;Lecture Notes in Computer Science;2006

3. PolyTOIL;ACM Transactions on Programming Languages and Systems;2003-03

4. Safe and decidable type checking in an object-oriented language;ACM SIGPLAN Notices;1993-10

5. PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language;Object-Oriented Programming