Towards a programming language based on the notion of two-level grammar

DOI10.1016/0304-3975(83)90064-6MaRDI QIDQ795514zbMATH OpenOpenAlexFDO

Authors Jan Maluszyński

Publication date 1984

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

Full work available at URL https://doi.org/10.1016/0304-3975(83)90064-6

zbMATH Keywords

Horn clausesprogramming languagetransparent grammarsTwo level grammars

Mathematics Subject Classification ID

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

Review text

Two level grammars (TLG for short) are a tool of programming language definition. In the paper a variant of TLG called transparent TLG is introduced. Transparent TLG's produce unambiguous CF grammars only and have other regularity properties. It is shown that transparent TLG's can be in some sense considered as a generalization of Horn clauses. Using transparent TLG's we can define certain computations. TLG's can be given, roughly speaking, in a form of programs in an Algol 68 like language. The possibility to use Prolog language in the area is mentioned.

Recommendations

• Two-level Grammar as a Functional Programming Language
• On two-level grammars
• Two-level grammar as an implementable metalanguage for axiomatic semantics
• How to produce all sentences from a two-level grammar
• scientific article; zbMATH DE number 4209618

Cites work

• A decidability criterion for van Wijngaarden grammars
• A Machine-Oriented Logic Based on the Resolution Principle
• Contributions to the Theory of Logic Programming
• Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
• Grammatical unification
• scientific article; zbMATH DE number 3700255 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 3564309 (Why is no real title available?)
• scientific article; zbMATH DE number 3264942 (Why is no real title available?)
• scientific article; zbMATH DE number 3311755 (Why is no real title available?)
• scientific article; zbMATH DE number 3335031 (Why is no real title available?)
• Initial Algebra Semantics and Continuous Algebras
• Natural language communication with computers
• On parsing two-level grammars
• Revised report on the algorithmic language ALGOL 68

Cited in

(6)

• Polymorphic syntax definition
• On two-level grammars
• Two-level grammar as an implementable metalanguage for axiomatic semantics
• Two-level Grammar as a Functional Programming Language
• On logic programming interpretations of Dislog: Programming long-distance dependencies in logic
• How to produce all sentences from a two-level grammar

Describes a project that uses

Uses Software

• ALGOL 68

This page was built for publication: Towards a programming language based on the notion of two-level grammar

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