scientific article; zbMATH DE number 4080882

MaRDI QIDQ3811682zbMATH OpenFDO

Authors Hans Leiß

Publication date 1988

zbMATH Keywords

multiple inheritanceobject-oriented programming languagespolymorphic fixed point rulepolymorphic typessemantics for typestype inference calculustype-free lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Efficient inference of object types
• scientific article; zbMATH DE number 4180773
• Type inference for record concatenation and multiple inheritance
• Publication:4490755
• scientific article; zbMATH DE number 1231454

Cited in

(24)

• On the expressive power of finitely typed and universally polymorphic recursive procedures
• Type reconstruction in finite rank fragments of the second-order -calculus
• On subsumption and semiunification in feature algebras
• A meta-language for typed object-oriented languages
• Object type constructors
• A type-based complexity analysis of object oriented programs
• Type inference for variant object types
• Type inference for record concatenation and subtyping
• Efficient inference of object types
• Erratum to ``Efficient inference of object types
• Symbolic abstract data type inference
• An interoperable calculus for external object access
• scientific article; zbMATH DE number 4180773 (Why is no real title available?)
• scientific article; zbMATH DE number 4058828 (Why is no real title available?)
• scientific article; zbMATH DE number 1231454 (Why is no real title available?)
• scientific article; zbMATH DE number 615137 (Why is no real title available?)
• scientific article; zbMATH DE number 1089242 (Why is no real title available?)
• scientific article; zbMATH DE number 2080288 (Why is no real title available?)
• scientific article; zbMATH DE number 1479639 (Why is no real title available?)
• A denotational approach for type-checking in object-oriented programming languages
• Classification of control of types in programs with complex data types
• Verification, Model Checking, and Abstract Interpretation
• An empirical study into COBOL type inferencing
• Type inference for record concatenation and multiple inheritance

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