Author:
Schäfer Max,Ekman Torbjörn,de Moor Oege
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Augusteijn, L.: Definition of the programming language Elegant, 2000. Release 7.1, Philips Research Laboratories, Eindhoven, the Netherlands (February 2000)
2. Badouel, É., Fotsing, B., Tchougong, R.: Yet Another Implementation of Attribute Evaluation. Technical Report 6315, INRIA Rennes (2007)
3. Boyland, J.T.: Remote attribute grammars. J. ACM 52(4), 627–687 (2005)
4. Cachera, D., Jensen, T., Pichardie, D., Rusu, V.: Extracting a data flow analyser in constructive logic. Theor. Comput. Sci. 342(1), 56–78 (2005)
5. Chirica, L.M., Martin, D.F.: An Order-Algebraic Definition of Knuthian Semantics. Mathematical Systems Theory 13, 1–27 (1979)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying Well-Typedness Preservation of Refactorings using Scope Graphs;Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs;2023-07-18
2. A formalisation of parameterised reference attribute grammars;Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering;2017-10-23
3. Formalising and Verifying Reference Attribute Grammars in Coq;Programming Languages and Systems;2009
4. Stepping Stones over the Refactoring Rubicon;Lecture Notes in Computer Science;2009