Extensible encoding of type hierarchies

DOI10.1145/1328438.1328480zbMath1295.68160OpenAlexW2043382766MaRDI QIDQ3189854

Hamed Seiied Alavi, Rachid Guerraoui

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

Database theory (68P15) Theory of programming languages (68N15) Abstract data types; algebraic specification (68Q65) 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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A Slice-Based Decision Procedure for Type-Based Partial Orders

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