Extensible encoding of type hierarchies

DOI10.1145/1328438.1328480MaRDI QIDQ3189854zbMATH OpenOpenAlexFDO

Authors Hamed Seiied Alavi, Rachid Guerraoui, Seth Gilbert

Publication date 12 September 2014

Published in Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1328438.1328480

zbMATH Keywords

dynamic loadingsubtyping test

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Database theory (68P15) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Abstract data types; algebraic specification (68Q65)

Recommendations

• Encoding intensional type analysis
• Typed interpretations of extensible objects
• Interpretations of extensible objects and types
• On Hierarchical Type Covering
• Modular typechecking for hierarchically extensible datatypes and functions
• Expanding the type hierarchy with nonlexical concepts
• Computational and structural aspects of openly specified type hierarchies
• Type extension and refinement
• scientific article; zbMATH DE number 2185650
• Characterization of type hierarchies with open specification

Cited in

(6)

• Encoding types in ML-like languages
• Enumerated types and type extensions for MiniZinc
• A typed encoding of boxed into safe ambients
• Type extension and refinement
• scientific article; zbMATH DE number 2086494 (Why is no real title available?)
• A slice-based decision procedure for type-based partial orders

This page was built for publication: Extensible encoding of type hierarchies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3189854)