scientific article; zbMATH DE number 4033046

MaRDI QIDQ3773307zbMATH OpenFDO

Authors Endre Simon

Publication date 1986

zbMATH Keywords

attribute grammarsautomatic program generationfunctional programsprogram specification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3978354
• scientific article; zbMATH DE number 4037255
• Constructing Programs as Executable Attribute Grammars
• Experimental functional realization of attribute grammar system
• Computational and attribute models of formal languages

Cited in

(32)

• Attribute grammars are useful for combinatorics
• Modularity and reusability in attribute grammars
• Attribute grammars and automatic complexity analysis
• Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming
• First-class attribute grammars
• Fred: An approach to generating real, correct, reusable programs from proofs
• Declarative term graph attribution for program generation
• Attribute grammar applications
• scientific article; zbMATH DE number 1002576 (Why is no real title available?)
• scientific article; zbMATH DE number 3845084 (Why is no real title available?)
• scientific article; zbMATH DE number 3860372 (Why is no real title available?)
• Top-down Semantic Analysis
• Specifications and an implementation of the type-ambiguity problem in pascal
• scientific article; zbMATH DE number 3976310 (Why is no real title available?)
• scientific article; zbMATH DE number 3978354 (Why is no real title available?)
• scientific article; zbMATH DE number 4031017 (Why is no real title available?)
• scientific article; zbMATH DE number 4037255 (Why is no real title available?)
• scientific article; zbMATH DE number 4041306 (Why is no real title available?)
• The Role of Conceptual Modelling Abstractions in Compiler Development
• Parsing languages by pattern matching
• scientific article; zbMATH DE number 4090774 (Why is no real title available?)
• Constructing Programs as Executable Attribute Grammars
• scientific article; zbMATH DE number 194259 (Why is no real title available?)
• scientific article; zbMATH DE number 512888 (Why is no real title available?)
• scientific article; zbMATH DE number 1174532 (Why is no real title available?)
• scientific article; zbMATH DE number 2018594 (Why is no real title available?)
• scientific article; zbMATH DE number 219262 (Why is no real title available?)
• scientific article; zbMATH DE number 4003496 (Why is no real title available?)
• scientific article; zbMATH DE number 862687 (Why is no real title available?)
• An approach to user interface specification with attribute grammars
• Specification of a query language by the attribute method
• Use of attributes in SYNTAX technology

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 Q3773307)