A formalisation of parameterised reference attribute grammars

Article Details
Title:	A formalisation of parameterised reference attribute grammars
Article URLs:	https://doi.org/10.1145/3136014.3136024
Alternative Article URLs:
Authors:	Scott J. H. Buckley	Macquarie University, Programming Languages and Verification Research Group Macquarie University, Department of Computing
Authors:	Anthony M. Sloane	Macquarie University, Programming Languages and Verification Research Group Macquarie University, Department of Computing
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://bitbucket.org/scottbuckley/saigacoq
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sle/BuckleyS17
Author Comments:

ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017