Programming Languages and Systems
From MaRDI portal
Publication:5316580
DOI10.1007/b107380zbMath1108.68349MaRDI QIDQ5316580
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
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing
Related Items
Full Abstraction for Linda, Java Jr, Observable behavior of distributed systems: component reasoning for concurrent objects, A sound and complete reasoning system for asynchronous communication with shared futures, Behavioral interface description of an object-oriented language with futures and promises, Abstract interface behavior of object-oriented languages with monitors, Full Abstraction at Package Boundaries of Object-Oriented Languages