scientific article; zbMATH DE number 720178
From MaRDI portal
Publication:4322072
zbMath0886.03010MaRDI QIDQ4322072
Kathleen Fisher, John C. Mitchell, Furio Honsell
Publication date: 25 June 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticstype soundnesstype inference systemuntyped lambda calculusdelegation-based object-oriented languagesstatic detection of errors
Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
Related Items (12)
A delegation-based object calculus with subtyping ⋮ Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts ⋮ Semantic types and approximation for Featherweight Java ⋮ An imperative object calculus ⋮ Typed operational semantics for higher-order subtyping. ⋮ Extending FeatherTrait Java with interfaces ⋮ Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming ⋮ A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. ⋮ Delegation by object composition ⋮ Matching for the lambda calculus of objects ⋮ Privacy via subsumption ⋮ Foundations for extensible objects with roles
Uses Software
This page was built for publication:
