scientific article; zbMATH DE number 814793

MaRDI QIDQ4855338zbMATH OpenFDO

Authors Kim B. Bruce, Giuseppe Longo

Publication date 16 April 1996

zbMATH Keywords

bounded funlambda calculus

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• A modest model of records, inheritance, and bounded quantification
• scientific article; zbMATH DE number 814800
• Simple type-theoretic foundations for object-oriented programming
• Operations on records (extended abstract)
• Basic theory of F-bounded quantification.

Cited in

(6)

• Specification and verification of object-oriented programs using supertype abstraction
• A domain-theoretic model of nominally-typed object-oriented programming
• Consistency of inheritance in object-oriented languages and of static, ALGOL-like binding
• Explicit mathematics: power types and overloading
• Alpha conversion, conditions on variables and categorical logic
• A modest model of records, inheritance, and bounded quantification

Describes a project that uses

Uses Software

• Simula 67
• Smalltalk
• Eiffel

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 Q4855338)