Polymorphic bytecode

DOI10.1145/1040305.1040308zbMath1369.68122OpenAlexW2117699092WikidataQ131111690 ScholiaQ131111690MaRDI QIDQ5276131

Sophia Drossopoulou, Davide Ancona, Elena Zucca, Ferruccio Damiani

Publication date: 14 July 2017

Published in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

zbMATH Keywords

type systemscompositional analysis

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Related Items (3)

Compositional type checking of delta-oriented software product lines ⋮ Type Inference by Coinductive Logic Programming ⋮ A Parametric Calculus for Mobile Open Code

This page was built for publication: Polymorphic bytecode