An operational semantics for object-oriented concepts based on the class hierarchy
From MaRDI portal
Publication:736789
DOI10.1007/s00165-012-0259-yzbMath1342.68057OpenAlexW2091886873MaRDI QIDQ736789
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
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)
Uses Software
Cites Work
- Verification of object-oriented programs: a transformational approach
- Observable behavior of distributed systems: component reasoning for concurrent objects
- Metamodeling semantics of multiple inheritance
- A high-level modular definition of the semantics of C\(_{\sharp}\)
- Structural operational semantics through context-dependent behaviour
- Bialgebras for structural operational semantics: an introduction
- A semantics for concurrent separation logic
- A shared-variable concurrency analysis of multi-threaded object-oriented programs
- Operational semantics: concepts and their expression
- A calculus of communicating systems
- Isabelle/HOL. A proof assistant for higher-order logic
- Maude: specification and programming in rewriting logic
- Class invariants as abstract interpretation of trace semantics
- Towards proving type safety of \(\mathrm{C}^{\#}\)
- Modular structural operational semantics
- A structural approach to operational semantics
- Executable structural operational semantics in Maude
- Modular invariants for layered object structures
- Formal specification and verification of the C\(\#\) thread model
- Specification and verification challenges for sequential object-oriented programs
- Implicit Propagation in Structural Operational Semantics
- Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
- Pragmatics of Modular SOS
- The Rewriting Logic Semantics Project: A Progress Report
- Dynamic Reactive Modules
- Perspectives on Transactional Memory
- Understanding Programming Language Concepts Via Operational Semantics
- Verifying a Compiler for Java Threads
- Modular Specification of Encapsulated Object-Oriented Components
- CSP with Hierarchical State
- Tentative steps toward a development method for interfering programs
- Process algebra for synchronous communication
- Theories of Programming Languages
- Logical foundations of object-oriented and frame-based languages
- Abstract State Machines
- An approach to object semantics based on terminal co-algebras
- An imperative object calculus
- Modularity and Implementation of Mathematical Operational Semantics
- Data Refinement
- Verification: Theory and Practice
- Computer Aided Verification
- Programming Languages and Systems
- Dynamic overloading with copy semantics in object-oriented languages: a formal account
- A Structural Proof of the Soundness of Rely/guarantee Rules
- A Representation-Independent Behavioral Semantics for Object-Oriented Components
- An operational semantics for Scheme
- A Sound Semantics for OCaml light
- FM 2005: Formal Methods
- Abstract State Machines 2004. Advances in Theory and Practice
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
