scientific article; zbMATH DE number 4041306

zbMATH Open0638.68080MaRDI QIDQ3779769FDOQ3779769

Authors: Henk Albas, F. J. Faase 

Publication date: 1987

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4033046
• Attributed tree grammars
• scientific article; zbMATH DE number 4037255
• scientific article; zbMATH DE number 1268708
• Attribute grammars. Definitions, systems and bibliography

zbMATH Keywords

specificationattribute grammarcontext-free tree grammarsabstract program treesattribute tree grammarsemantic integrity constraints

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cited In (3)

• A linked forest manipulation system syntax rules for an attributed translation grammar for PL/0
• ASP programs with groundings of small treewidth
• Canonical abstract syntax trees

This page was built for publication:

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