A Theory of Name Resolution

DOI10.1007/978-3-662-46669-8_9zbMath1335.68062OpenAlexW781995223MaRDI QIDQ2802438

Eelco Visser, Pierre Neron, Andrew Tolmach, Guido Wachsmuth

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46669-8_9

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Executable component-based semantics ⋮ Implementing type systems for the IDE with Xsemantics

This page was built for publication: A Theory of Name Resolution