An operational semantics for object-oriented concepts based on the class hierarchy

DOI10.1007/S00165-012-0259-YMaRDI QIDQ736789zbMATH OpenOpenAlexWikidataFDO

Authors Robert Colvin

Publication date 5 August 2016

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-012-0259-y

zbMATH Keywords

object-oriented programmingprocess algebraclass hierarchyoperational semantics

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A graph-based semantics for object-oriented programming constructs
• An algebraic approach to formalization of object-orientation^*
• Object-oriented programming
• scientific article; zbMATH DE number 1086650
• Full abstraction at package boundaries of object-oriented languages

Cites work

• scientific article; zbMATH DE number 1650458 (Why is no real title available?)
• scientific article; zbMATH DE number 986404 (Why is no real title available?)
• scientific article; zbMATH DE number 3821076 (Why is no real title available?)
• scientific article; zbMATH DE number 3943003 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 43417 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 1006119 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• scientific article; zbMATH DE number 1569122 (Why is no real title available?)
• scientific article; zbMATH DE number 2104617 (Why is no real title available?)
• scientific article; zbMATH DE number 1409638 (Why is no real title available?)
• A Representation-Independent Behavioral Semantics for Object-Oriented Components
• A Sound Semantics for OCaml light
• A Structural Proof of the Soundness of Rely/guarantee Rules
• A calculus of communicating systems
• A compositional operational semantics for Java\(_{\text{MT}}\)
• A deductive proof system for multithreaded Java with exceptions
• A hierarchy of SOS rule formats
• A high-level modular definition of the semantics of C\(_{\sharp}\)
• A semantics for concurrent separation logic
• A shared-variable concurrency analysis of multi-threaded object-oriented programs
• A structural approach to operational semantics
• Abstract State Machines
• Abstract State Machines 2004. Advances in Theory and Practice
• An approach to object semantics based on terminal co-algebras
• An imperative object calculus
• An operational semantics for Scheme
• Bialgebras for structural operational semantics: an introduction
• CSP with Hierarchical State
• Class invariants as abstract interpretation of trace semantics
• Computer Aided Verification
• Concurrency verification. Introduction to compositional and noncompositional methods
• Data Refinement
• Dynamic Reactive Modules
• Dynamic overloading with copy semantics in object-oriented languages: a formal account
• Executable structural operational semantics in Maude
• FM 2005: Formal Methods
• Formal specification and verification of the C\(\#\) thread model
• Implicit propagation in structural operational semantics
• Isabelle/HOL. A proof assistant for higher-order logic
• Logical foundations of object-oriented and frame-based languages
• Maude: specification and programming in rewriting logic
• Metamodeling semantics of multiple inheritance
• Modular Specification of Encapsulated Object-Oriented Components
• Modular invariants for layered object structures
• Modular structural operational semantics
• Modularity and implementation of mathematical operational semantics
• Observable behavior of distributed systems: component reasoning for concurrent objects
• Observable behavior of dynamic systems: component reasoning for concurrent objects
• Operational semantics: concepts and their expression
• Perspectives on Transactional Memory
• Pragmatics of modular SOS
• Process algebra for synchronous communication
• Programming Languages and Systems
• Specification and verification challenges for sequential object-oriented programs
• Structural operational semantics through context-dependent behaviour
• Tentative steps toward a development method for interfering programs
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• The rewriting logic semantics project: a progress report
• Theories of Programming Languages
• Towards proving type safety of \(\mathrm{C}^{\#}\)
• Understanding Programming Language Concepts Via Operational Semantics
• Verification of object-oriented programs: a transformational approach
• Verifying a Compiler for Java Threads

Cited in

(3)

• scientific article; zbMATH DE number 2089400 (Why is no real title available?)
• scientific article; zbMATH DE number 5065677 (Why is no real title available?)
• Full abstraction at package boundaries of object-oriented languages

Describes a project that uses

Uses Software

• Simula 67
• Java Jr
• Z
• MMT
• OCaml
• Maude
• Eiffel
• JavaFAN
• Isabelle/HOL
• Smalltalk

This page was built for publication: An operational semantics for object-oriented concepts based on the class hierarchy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q736789)