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

DOI10.1016/0304-3975(83)90064-6zbMath0542.68061OpenAlexW2014216577MaRDI QIDQ795514

Jan Małuszyń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)

Related Items (2)

Polymorphic syntax definition ⋮ On logic programming interpretations of Dislog: Programming long-distance dependencies in logic

Uses Software

• ALGOL 68

Cites Work

• Grammatical unification
• On parsing two-level grammars
• Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
• Revised report on the algorithmic language ALGOL 68
• A decidability criterion for van Wijngaarden grammars
• Natural language communication with computers
• Contributions to the Theory of Logic Programming
• Initial Algebra Semantics and Continuous Algebras
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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