Programming Languages and Systems

DOI10.1007/B107380MaRDI QIDQ5316580zbMATH OpenOpenAlexFDO

Authors Alan Jeffrey, Julian Rathke

Publication date 13 September 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107380

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Full abstraction at package boundaries of object-oriented languages
• K-Java: a complete semantics of Java
• A compositional operational semantics for Java\(_{\text{MT}}\)
• The Java Memory Model: Operationally, Denotationally, Axiomatically
• Jinja: towards a comprehensive formal semantics for a Java-like language

Cited in

(22)

• Abstract interface behavior of object-oriented languages with monitors
• Fully abstract trace semantics for protected module architectures
• K-Java: a complete semantics of Java
• Java Jr
• Full abstraction at package boundaries of object-oriented languages
• A system-level game semantics
• A dynamic logic with traces and coinduction
• Observable behavior of distributed systems: component reasoning for concurrent objects
• A sound and complete reasoning system for asynchronous communication with shared futures
• Trace-relating compiler correctness and secure compilation
• Formal Methods for Components and Objects
• Full Abstraction for Linda
• Integrating ADTs in KeY and their application to history-based reasoning about collection
• Asynchronous Cooperative Contracts for Cooperative Scheduling
• The far side of the cube. An elementary introduction to game semantics
• A robust graph-based approach to observational equivalence
• Trace-based deductive verification
• Nanopass back-translation of call-return trees for mechanized secure compilation proofs
• An operational semantics for object-oriented concepts based on the class hierarchy
• jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
• Behavioral interface description of an object-oriented language with futures and promises
• Compositional reasoning about active objects with shared futures

This page was built for publication: Programming Languages and Systems

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