Protocol Normalization Using Attribute Grammars

Computer Security – ESORICS 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04444-1_14 ◽

2009 ◽

pp. 216-231 ◽

Author(s):

Drew Davidson ◽

Randy Smith ◽

Nic Doyle ◽

Somesh Jha

Keyword(s):

Attribute Grammars

Download Full-text

Connecting conceptual models using relational reference attribute grammars

Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings ◽

10.1145/3417990.3421437 ◽

2020 ◽

Author(s):

René Schöne ◽

Johannes Mey ◽

Sebastian Ebert ◽

Uwe Aßmann

Keyword(s):

Conceptual Models ◽

Attribute Grammars

Download Full-text

Iterative type inference with attribute grammars

ACM SIGPLAN Notices ◽

10.1145/1942788.1868302 ◽

2011 ◽

Vol 46 (2) ◽

pp. 43-52 ◽

Author(s):

Arie Middelkoop ◽

Atze Dijkstra ◽

S. Doaitse Swierstra

Keyword(s):

Type Inference ◽

Attribute Grammars

Download Full-text

A general linear-time evaluator for attribute grammars

ACM SIGPLAN Notices ◽

10.1145/988227.988231 ◽

1983 ◽

Vol 18 (9) ◽

pp. 35-44 ◽

Author(s):

Fahimeh Jalili

Keyword(s):

Linear Time ◽

General Linear ◽

Attribute Grammars

Download Full-text

Principles and patterns of JastAdd-style reference attribute grammars

Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering ◽

10.1145/3426425.3426934 ◽

2020 ◽

Author(s):

Niklas Fors ◽

Emma Söderberg ◽

Görel Hedin

Keyword(s):

Attribute Grammars

Download Full-text

Strongly non-circular attribute grammars and their recursive evaluation

ACM SIGPLAN Notices ◽

10.1145/502949.502882 ◽

1984 ◽

Vol 19 (6) ◽

pp. 81-93 ◽

Author(s):

Martin Jourdan

Keyword(s):

Attribute Grammars ◽

Recursive Evaluation

Download Full-text

Expressiveness of structured document query languages based on attribute grammars

Journal of the ACM ◽

10.1145/505241.505245 ◽

2002 ◽

Vol 49 (1) ◽

pp. 56-100 ◽

Author(s):

Frank Neven ◽

Jan Van Den Bussche

Keyword(s):

Query Languages ◽

Attribute Grammars ◽

Structured Document

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

Language prototyping with attribute grammars and macros

Microprocessing and Microprogramming ◽

10.1016/0165-6074(93)90077-x ◽

1993 ◽

Vol 39 (2-5) ◽

pp. 151-154 ◽

Author(s):

Miroslav Švéda

Keyword(s):

Attribute Grammars

Download Full-text

Incorporating multi-pass attribute grammars for the high-level synthesis of ASICs

Proceedings of the 1998 ACM symposium on Applied Computing - SAC '98 ◽

10.1145/330560.330568 ◽

1998 ◽

Author(s):

George Economakos ◽

George Papakostantinou ◽

Panayotis Tsankas

Keyword(s):

High Level Synthesis ◽

Attribute Grammars ◽

Download Full-text

Constrained attribute grammars for recognition of multi-dimensional objects

Advances in Pattern Recognition - Lecture Notes in Computer Science ◽

10.1007/bfb0033254 ◽

1998 ◽

pp. 359-365 ◽

Author(s):

Giulia M. Pagallo

Keyword(s):

Attribute Grammars

Download Full-text