Termination Analysis for Higher-Order Attribute Grammars

Software Language Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36089-3_4 ◽

2013 ◽

pp. 44-63 ◽

Author(s):

Lijesh Krishnan ◽

Eric Van Wyk

Keyword(s):

Higher Order ◽

Attribute Grammars ◽

Termination Analysis

Download Full-text

Higher order attribute grammars

Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation - PLDI '89 ◽

10.1145/73141.74830 ◽

1989 ◽

Author(s):

H. H. Vogt ◽

S. D. Swierstra ◽

M. F. Kuiper

Keyword(s):

Higher Order ◽

Attribute Grammars

Download Full-text

Termination analysis and call graph construction for higher-order functional programs

ACM SIGPLAN Notices ◽

10.1145/1291220.1291165 ◽

2007 ◽

Vol 42 (9) ◽

pp. 71-84 ◽

Author(s):

Damien Sereni

Keyword(s):

Higher Order ◽

Termination Analysis ◽

Download Full-text

Termination analysis for offline partial evaluation of a higher order functional language

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-61739-6_34 ◽

1996 ◽

pp. 67-82 ◽

Author(s):

Peter Holst Andersen ◽

Carsten Kehler Holst

Keyword(s):

Partial Evaluation ◽

Higher Order ◽

Functional Language ◽

Termination Analysis

Download Full-text

Efficient Model-based Fuzz Testing Using Higher-order Attribute Grammars

Journal of Software ◽

10.4304/jsw.8.3.645-651 ◽

2013 ◽

Vol 8 (3) ◽

Author(s):

Fan Pan ◽

Ying Hou ◽

Zheng Hong ◽

Lifa Wu ◽

Haiguang Lai

Keyword(s):

Higher Order ◽

Attribute Grammars ◽

Model Based ◽

Download Full-text

Efficient incremental evaluation of higher order attribute grammars

Programming Language Implementation and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-54444-5_102 ◽

1991 ◽

pp. 231-242 ◽

Author(s):

Harald Vogt ◽

Doaitse Swierstra ◽

Matthijs Kuiper

Keyword(s):

Higher Order ◽

Attribute Grammars ◽

Incremental Evaluation

Download Full-text

Higher Order Attribute Grammars

Attribute Grammars, Applications and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-54572-7_10 ◽

1991 ◽

pp. 256-296 ◽

Author(s):

Doaitse Swierstra ◽

Harald Vogt

Keyword(s):

Higher Order ◽

Attribute Grammars

Download Full-text

Memoized zipper-based attribute grammars and their higher order extension

Science of Computer Programming ◽

10.1016/j.scico.2018.10.006 ◽

2019 ◽

Vol 173 ◽

pp. 71-94 ◽

Author(s):

João Paulo Fernandes ◽

Pedro Martins ◽

Alberto Pardo ◽

João Saraiva ◽

Marcos Viera

Keyword(s):

Higher Order ◽

Attribute Grammars ◽

Order Extension

Download Full-text

Higher order attribute grammars

ACM SIGPLAN Notices ◽

10.1145/74818.74830 ◽

1989 ◽

Vol 24 (7) ◽

pp. 131-145 ◽

Author(s):

H. H. Vogt ◽

S. D. Swierstra ◽

M. F. Kuiper

Keyword(s):

Higher Order ◽

Attribute Grammars

Download Full-text

Higher-order attribute grammars and editing environments

Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation - PLDI '90 ◽

10.1145/93542.93567 ◽

1990 ◽

Author(s):

Tim Teitelbaum ◽

Richard Chapman

Keyword(s):

Higher Order ◽

Attribute Grammars

Download Full-text

Termination Analysis of Higher-Order Functional Programs

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/11575467_19 ◽

2005 ◽

pp. 281-297 ◽

Author(s):

Damien Sereni ◽

Neil D. Jones

Keyword(s):

Higher Order ◽

Termination Analysis

Download Full-text