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 (77)

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

This page was built for publication: