×

zbMATH — the first resource for mathematics

Typing a multi-language intermediate code. (English) Zbl 1323.68209
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’01, London, UK, January 17–19, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-336-7). 248-260 (2001).

MSC:
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68N15 Theory of programming languages
68Q55 Semantics in the theory of computing
PDF BibTeX XML Cite
Full Text: DOI