scientific article; zbMATH DE number 944097
From MaRDI portal
Publication:4715213
Recommendations
Cited in
(only showing first 100 items - show all)- 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
- Matching for the lambda calculus of objects
- Order-sorted inductive types
- Higher-order subtyping
- Typed operational semantics for higher-order subtyping.
- Semantics and logic of object calculi
- On the decidability of subtyping with bounded existential types and implementation constraints
- An assertion-based proof system for multithreaded Java
- Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation
- Subtyping recursion and parametric polymorphism in kernel Fun
- 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
- Type inference for record concatenation and subtyping
- ECOOP '95 -- object-oriented programming. 9th European conference, Århus, Denmark, August 7--11, 1995. Proceedings
- A theory of primitive objects: Untyped and first-order systems
- Dynamic structural operational semantics
- A graph-based generic type system for object-oriented programs
- Matching MyType to subtyping
- Formalising Java RMI with explicit code mobility
- Full abstraction for polymorphic \(\pi \)-calculus
- Logical equivalence for subtyping object and recursive types
- Types for the ambient calculus
- Mobile objects as mobile processes
- MOMI: a calculus for mobile mixins
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts
- CINNI -- a generic calculus of explicit substitutions and its application to -, - and -calculi
- A coalgebraic semantics of subtyping
- A domain-theoretic model of nominally-typed object-oriented programming
- Types and programing languages
- Subtyping in logical form
- Secured information flow for asynchronous sequential processes
- Programming languages for interactive computing
- A verification algorithm for inheritance hierarchies in object-oriented databases
- scientific article; zbMATH DE number 5880530 (Why is no real title available?)
- Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract)
- Verifying object-oriented programs with higher-order separation logic in Coq
- Specification patterns and proofs for recursion through the store
- Combining model checking and data-flow analysis
- Nominal SOS
- Types in programming languages, between modelling, abstraction, and correctness (extended abstract)
- scientific article; zbMATH DE number 4135383 (Why is no real title available?)
- On Normalization by Evaluation for Object Calculi
- Inter-deriving Semantic Artifacts for Object-Oriented Programming
- Syntactic Metatheory of Higher-Order Subtyping
- A Framework for Type Safe Exchange of Mobile Code
- Unifying Theories of Objects
- Manifest Fields and Module Mechanisms in Intensional Type Theory
- A coalgebraic perspective on logical interpretations
- A theory of properties
- scientific article; zbMATH DE number 4053871 (Why is no real title available?)
- Semantic types and approximation for Featherweight Java
- Specification patterns for reasoning about recursion through the store
- scientific article; zbMATH DE number 711035 (Why is no real title available?)
- ASP\(_{\text{fun}}\) : a typed functional active object calculus
- scientific article; zbMATH DE number 1005367 (Why is no real title available?)
- scientific article; zbMATH DE number 1479620 (Why is no real title available?)
- Encoding FIX in Object Calculi
- Thin Objects
- Simple type-theoretic foundations for object-oriented programming
- A CuCh interpretation of an object-oriented language
- scientific article; zbMATH DE number 6174942 (Why is no real title available?)
- Contextual hyperedge replacement
- Encoding the factorisation calculus
- Higher-Order Spreadsheets with Spilled Arrays
- scientific article; zbMATH DE number 4196857 (Why is no real title available?)
- A theory of aspects
- Dynamic overloading with copy semantics in object-oriented languages: a formal account
- Metamodeling semantics of multiple inheritance
- Interactive programming in Agda -- objects and graphical user interfaces
- A Mechanized Model of the Theory of Objects
- Delegation by object composition
- A fully abstract may testing semantics for concurrent objects
- Extensible objects: A tutorial
- A declarative framework for object-oriented programming with genetic inheritance
- Higher-order subtyping and its decidability
- A calculus with recursive types, record concatenation and subtyping
- A typed lambda calculus of objects (extended abstract)
- Language transformations in the classroom
- Objects: a study in Kantian formal epistemology
- CONCUR test-of-time award for the period 1994--97 interview with Uwe Nestmann and Benjamin C. Pierce
- Type-directed operational semantics for gradual typing
- Recursive subtyping for all
- An operational semantics for object-oriented concepts based on the class hierarchy
- The loop formula based semantics of description logic programs
- Elaboration tolerance through object-orientation
- Behavioral interface description of an object-oriented language with futures and promises
- Creol: A type-safe object-oriented model for distributed concurrent systems
- Self and selftype
- Extending FeatherTrait Java with interfaces
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4715213)
