Type elaboration and subtype completion for Java bytecode

From MaRDI portal

Revision as of 15:53, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5178855

Jump to:navigation, search

DOI10.1145/325694.325725zbMath1323.68188OpenAlexW2002126610WikidataQ131113200 ScholiaQ131113200MaRDI 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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5178855&oldid=19744686"