Privacy via subsumption

DOI10.1006/inco.2000.2925zbMath1009.68022OpenAlexW1979841054MaRDI QIDQ1854493

Jon G. Riecke, Christopher A. Stone

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/1483bc15338d296da730961c9c89c6656bbbd218

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Inheritance in the join calculus. ⋮ Delegation by object composition ⋮ A Framework for Type Safe Exchange of Mobile Code ⋮ MOMI: a calculus for mobile mixins ⋮ Privacy via subsumption ⋮ Inheritance-based subtyping

Uses Software

• Eiffel

Cites Work

• Privacy via subsumption
• A paradigmatic object-oriented programming language: Design, static typing and semantics
• A delegation-based object calculus with subtyping
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item