A Functional Semantics of Attribute Grammars-Reference-Cited by-同舟云学术

A Functional Semantics of Attribute Grammars

Published:2002 Issue: Volume: Page:142-157
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Backhouse Kevin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46002-0_11

Reference20 articles.

1. C. J. Aarts. Galois connections presented calculationally. Graduating Dissertation, Department of Computing Science, Eindhoven University of Technology. Available from: http://www.cs.nott.ac.uk/char’176rcb/MPC/galois.ps.gz , 1992.

2. R. C. Backhouse and K. S. Backhouse. Abstract interpretations for free. Available from: http://www.cs.nott.ac.uk/char’176rcb/papers/papers.html .

3. R. S. Bird. Using circular programs to eliminate multiple traversals of data. Acta Informatica, 21:239–250, 1984.

4. R. S. Bird. Introduction to Functional Programming using Haskell. Prentice Hall, 2 edition, 1998.

5. R. S. Bird and O. de Moor. Algebra of Programming, volume 100 of International Series in Computer Science. Prentice Hall, 1997.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms;Theoretical Aspects of Computing – ICTAC 2018;2018

2. A formalisation of parameterised reference attribute grammars;Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering;2017-10-23

3. Termination Analysis for Higher-Order Attribute Grammars;Software Language Engineering;2013

4. Modular Well-Definedness Analysis for Attribute Grammars;Software Language Engineering;2013

5. Merging Hierarchically-Structured Documents in Workflow Systems;Electronic Notes in Theoretical Computer Science;2008-06