An operational semantics for object-oriented concepts based on the class hierarchy (Q736789): Difference between revisions

@@ Property / describes a project that uses @@
+Java Jr
@@ Property / describes a project that uses: Java Jr / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Smalltalk
@@ Property / describes a project that uses: Smalltalk / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JavaFAN
@@ Property / describes a project that uses: JavaFAN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Eiffel
@@ Property / describes a project that uses: Eiffel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Simula 67
@@ Property / describes a project that uses: Simula 67 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-012-0259-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2091886873
@@ Property / OpenAlex ID: W2091886873 / rank @@
+Normal rank
@@ Property / cites work @@
+An imperative object calculus
@@ Property / cites work: An imperative object calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification: Theory and Practice
@@ Property / cites work: Verification: Theory and Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Q5457270
@@ Property / cites work: Q5457270 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of object-oriented programs: a transformational approach
+Normal rank
@@ Property / cites work @@
+Q3122689
@@ Property / cites work: Q3122689 / rank @@
+Normal rank
@@ Property / cites work @@
+Perspectives on Transactional Memory
@@ Property / cites work: Perspectives on Transactional Memory / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic overloading with copy semantics in object-oriented languages: a formal account
+Normal rank
@@ Property / cites work @@
+An approach to object semantics based on terminal co-algebras
+Normal rank
@@ Property / cites work @@
+A high-level modular definition of the semantics of C\(_{\sharp}\)
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit Propagation in Structural Operational Semantics
+Normal rank
@@ Property / cites work @@
+A semantics for concurrent separation logic
@@ Property / cites work: A semantics for concurrent separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+CSP with Hierarchical State
@@ Property / cites work: CSP with Hierarchical State / rank @@
+Normal rank
@@ Property / cites work @@
+Structural operational semantics through context-dependent behaviour
+Normal rank
@@ Property / cites work @@
+A Structural Proof of the Soundness of Rely/guarantee Rules
+Normal rank
@@ Property / cites work @@
+A shared-variable concurrency analysis of multi-threaded object-oriented programs
+Normal rank
@@ Property / cites work @@
+Observable behavior of distributed systems: component reasoning for concurrent objects
+Normal rank
@@ Property / cites work @@
+Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
+Normal rank
@@ Property / cites work @@
+Metamodeling semantics of multiple inheritance
@@ Property / cites work: Metamodeling semantics of multiple inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768503
@@ Property / cites work: Q2768503 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+An operational semantics for Scheme
@@ Property / cites work: An operational semantics for Scheme / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Reactive Modules
@@ Property / cites work: Dynamic Reactive Modules / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract State Machines 2004. Advances in Theory and Practice
+Normal rank
@@ Property / cites work @@
+Towards proving type safety of \(\mathrm{C}^{\#}\)
+Normal rank
@@ Property / cites work @@
+Q4335814
@@ Property / cites work: Q4335814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852093
@@ Property / cites work: Q2852093 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667910
@@ Property / cites work: Q3667910 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713577
@@ Property / cites work: Q3713577 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational semantics: concepts and their expression
+Normal rank
@@ Property / cites work @@
+Modularity and Implementation of Mathematical Operational Semantics
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+Q3997074
@@ Property / cites work: Q3997074 / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding Programming Language Concepts Via Operational Semantics
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Bialgebras for structural operational semantics: an introduction
+Normal rank
@@ Property / cites work @@
+Logical foundations of object-oriented and frame-based languages
+Normal rank
@@ Property / cites work @@
+Specification and verification challenges for sequential object-oriented programs
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying a Compiler for Java Threads
@@ Property / cites work: Verifying a Compiler for Java Threads / rank @@
+Normal rank
@@ Property / cites work @@
+Class invariants as abstract interpretation of trace semantics
+Normal rank
@@ Property / cites work @@
+Q4762648
@@ Property / cites work: Q4762648 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Pragmatics of Modular SOS
@@ Property / cites work: Pragmatics of Modular SOS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818727
@@ Property / cites work: Q4818727 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular structural operational semantics
@@ Property / cites work: Modular structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Modular invariants for layered object structures
@@ Property / cites work: Modular invariants for layered object structures / rank @@
+Normal rank
@@ Property / cites work @@
+The Rewriting Logic Semantics Project: A Progress Report
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+A Sound Semantics for OCaml light
@@ Property / cites work: A Sound Semantics for OCaml light / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Specification of Encapsulated Object-Oriented Components
+Normal rank
@@ Property / cites work @@
+A Representation-Independent Behavioral Semantics for Object-Oriented Components
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of Programming Languages
@@ Property / cites work: Theories of Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940107
@@ Property / cites work: Q4940107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2742791
@@ Property / cites work: Q2742791 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal specification and verification of the C\(\#\) thread model
+Normal rank
@@ Property / cites work @@
+Q3992915
@@ Property / cites work: Q3992915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Executable structural operational semantics in Maude
+Normal rank