Type elaboration and subtype completion for Java bytecode

DOI10.1145/325694.325725zbMath1323.68188OpenAlexW2002126610MaRDI QIDQ5178855

T. B. Knoblock, Jakob Rehof

Publication date: 17 March 2015

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Using abstract interpretation to add type checking for interfaces in Java bytecode verification

This page was built for publication: Type elaboration and subtype completion for Java bytecode