Introduction to PROGRESS, an attribute graph grammar based specification language

DOI10.1007/3-540-52292-1_11MaRDI QIDQ4694749zbMATH OpenFDO

Authors Andy Schürr

Publication date 29 June 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-52292-1_11

zbMATH Keywords

attribute graph grammargraph rewritingspecification language

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Graph theory (including graph drawing) in computer science (68R10)

Review text

For the entire collection see Zbl 0759.00013.

Recommendations

• scientific article; zbMATH DE number 4033046
• scientific article; zbMATH DE number 3978354
• scientific article; zbMATH DE number 4037255
• scientific article; zbMATH DE number 512888
• Apex graph grammars and attribute grammars
• scientific article; zbMATH DE number 4049023
• Special issue: Attribute grammars and their applications
• Attributed elementary programmed graph grammars

Cited in

(4)

• Generating irregular partitionable data structures
• A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
• Syntax and semantics of hybrid database languages
• Attributed graph transformation with node type inheritance

This page was built for publication: Introduction to PROGRESS, an attribute graph grammar based specification language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4694749)