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
© 2026 ScienceGate Book Chapters — All rights reserved.