BOOK-CHAPTER
An operational semantics for TOOPLE: A statically-typed object-oriented programming language
Kim B. BruceJonathan CrabtreeGerald Kanapathy
Year: 1994 Lecture notes in computer science Pages: 603-626 Publisher: Springer Science+Business Media
Keywords:
Denotational semantics Operational semantics Programming language Action semantics Computer science Computational semantics Normalisation by evaluation Well-founded semantics Semantics (computer science) Denotational semantics of the Actor model Formal semantics (linguistics)
Metrics
10
Cited By
0.93
FWCI (Field Weighted Citation Impact)
23
Refs
0.69
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Safe type checking in a statically-typed object-oriented programming language
Year: 1993 Pages: 285-298
JOURNAL ARTICLE
Reverse inheritance in statically typed object-oriented programming languages
Ciprian-Bogdan ChirilăMarkku SakkinenPhilippe LahireIoan Jurca
Year: 2010 Pages: 1-5
BOOK-CHAPTER
Dynamic Manipulation of Types in Misty — A Statically Typed Object-Oriented Programming Language
Advances in software science and technology Year: 1993 Pages: 163-188
JOURNAL ARTICLE
Advantages of dynamic method-oriented mechanism in a statically typed object-oriented programming language Z0
Year: 2006 Vol: 952 Pages: 433-438