Computational and attribute models of formal languages

DOI10.1016/0304-3975(90)90200-2MaRDI QIDQ912638zbMATH OpenOpenAlexFDO

Authors Jaan Penjam

Publication date 1990

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(90)90200-2

zbMATH Keywords

computational modelsattribute grammarslogic programmingsemantics of programming languagesintuitionistic propositional calculusattribute evaluation programsprogram and compiler specificationstructural synthesis of programs

Mathematics Subject Classification ID

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

Recommendations

• Formal languages and computation. Models and their applications
• Formal models for some features of programming languages
• Formalization of the computational theory of a Turing complete functional language model
• Complexity characterizations of attribute grammar languages
• scientific article; zbMATH DE number 871245
• scientific article; zbMATH DE number 6309316
• The Complexity of Languages Generated by Attribute Grammars
• scientific article; zbMATH DE number 5545149
• Attribute grammars and automatic complexity analysis
• Attribute Grammars and Categorical Semantics

Cites work

• scientific article; zbMATH DE number 3947617 (Why is no real title available?)
• scientific article; zbMATH DE number 3960984 (Why is no real title available?)
• Attribute grammars and recursive program schemes. I. II
• GAG: a practical compiler generator
• Justification of the structural synthesis of programs
• Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming
• Relating logic programs and attribute grammars
• Simple multi-visit attribute grammars
• Synthesis of a semantic processor from an attribute grammar
• The intrinsically exponential complexity of the circularity problem for attribute grammars
• The programming system PRIZ

Cited in

(13)

• scientific article; zbMATH DE number 4085053 (Why is no real title available?)
• Toward knowledge-based specifications of languages
• Integrated design approach for virtual production line-based reconfigurable manufacturing systems
• Implementation of a modelica compiler using JastAdd attribute grammars
• The Role of Conceptual Modelling Abstractions in Compiler Development
• Formal models for some features of programming languages
• Attribute grammar applications
• scientific article; zbMATH DE number 4155858 (Why is no real title available?)
• scientific article; zbMATH DE number 1203022 (Why is no real title available?)
• scientific article; zbMATH DE number 3852443 (Why is no real title available?)
• scientific article; zbMATH DE number 4033046 (Why is no real title available?)
• scientific article; zbMATH DE number 3860372 (Why is no real title available?)
• Representing structural language features in formal meta-languages

Describes a project that uses

Uses Software

• GAG
• PRIZ

This page was built for publication: Computational and attribute models of formal languages

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