scientific article; zbMATH DE number 4033046

MaRDI QIDQ3773307zbMATH OpenFDO

Authors Endre Simon

Publication date 1986

zbMATH Keywords

program specificationattribute grammarsfunctional programsautomatic program generation

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

(29)

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

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)