scientific article; zbMATH DE number 944097

Publication date: 12 November 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

object-oriented languages theory of objects formal semantics of programming languages

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)

Related Items

A domain-theoretic model of nominally-typed object-oriented programming, Higher-Order Spreadsheets with Spilled Arrays, A verification algorithm for inheritance hierarchies in object-oriented databases, Unnamed Item, Type inference for record concatenation and subtyping, Behavioral interface description of an object-oriented language with futures and promises, Combining Model Checking and Data-Flow Analysis, Nominal SOS, Creol: A type-safe object-oriented model for distributed concurrent systems, Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts, Types in Programming Languages, Between Modelling, Abstraction, and Correctness, Dynamic overloading with copy semantics in object-oriented languages: a formal account, Higher-order subtyping and its decidability, A coalgebraic perspective on logical interpretations, Semantic types and approximation for Featherweight Java, Specification patterns for reasoning about recursion through the store, Higher-order subtyping, A graph-based generic type system for object-oriented programs, On Normalization by Evaluation for Object Calculi, Typed operational semantics for higher-order subtyping., Inter-deriving Semantic Artifacts for Object-Oriented Programming, A calculus with recursive types, record concatenation and subtyping, ASP\(_{\text{fun}}\) : a typed functional active object calculus, Unnamed Item, Interactive programming in Agda – Objects and graphical user interfaces, Matching MyType to subtyping, Syntactic Metatheory of Higher-Order Subtyping, Extending FeatherTrait Java with interfaces, Semantics and logic of object calculi, Contextual hyperedge replacement, Formalising Java RMI with explicit code mobility, Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming, A Coalgebraic Semantics of Subtyping, Full abstraction for polymorphic \(\pi \)-calculus, A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA., On the decidability of subtyping with bounded existential types and implementation constraints, Metamodeling semantics of multiple inheritance, Logical equivalence for subtyping object and recursive types, Delegation by object composition, A Mechanized Model of the Theory of Objects, An assertion-based proof system for multithreaded Java, A fully abstract may testing semantics for concurrent objects, Inter-deriving semantic artifacts for object-oriented programming, Types for the ambient calculus, Mobile objects as mobile processes, Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation, Subtyping recursion and parametric polymorphism in kernel Fun, A declarative framework for object-oriented programming with genetic inheritance, A Framework for Type Safe Exchange of Mobile Code, An operational semantics for object-oriented concepts based on the class hierarchy, On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions, Asynchronous sequential processes, Abstract interface behavior of object-oriented languages with monitors, Featherweight Java with dynamic and static overloading, Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq, Specification Patterns and Proofs for Recursion through the Store, Manifest Fields and Module Mechanisms in Intensional Type Theory, Matching for the lambda calculus of objects, The loop formula based semantics of description logic programs, Order-sorted inductive types, Subtyping in Logical Form, Dynamic structural operational semantics, Encoding FIX in Object Calculi, MOMI: a calculus for mobile mixins, Comparing object encodings., Privacy via subsumption, Type destructors, Objects and classes in Algol-like languages, Aliasing models for mobile objects, Foundations for virtual types, Foundations for extensible objects with roles, Modular statically typed multimethods, Type inference for variant object types, Type-safe covariant specialization with generalized matching, Secured Information Flow for Asynchronous Sequential Processes, Programming Languages For Interactive Computing, Elaboration tolerance through object-orientation