A theory of name resolution

DOI10.1007/978-3-662-46669-8_9zbMATH Open1335.68062OpenAlexW781995223MaRDI QIDQ2802438FDOQ2802438

Authors: Pierre Neron, Andrew Tolmach, Eelco Visser, 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

Recommendations

• Binders unbound
• Logic Programming
• Leaving the nest: nominal techniques for variables with interleaving scopes
• Generative unbinding of names
• A lambda-calculus for dynamic binding

Mathematics Subject Classification ID

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

Cited In (2)

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

This page was built for publication: A theory of name resolution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2802438)