Toward knowledge-based specifications of languages
From MaRDI portal
Publication:4560351
DOI10.1007/BFb0019356zbMath1412.68029OpenAlexW13044613MaRDI QIDQ4560351
Publication date: 11 December 2018
Published in: Baltic Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bfb0019356
Theory of programming languages (68N15) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Uses Software
Cites Work
- Simple multi-visit attribute grammars
- Computational and attribute models of formal languages
- Justification of the structural synthesis of programs
- The programming system PRIZ
- Interpretation and reduction of attribute grammars
- Attribute grammars. Definitions, systems and bibliography
- On the Covering and Reduction Problems for Context-Free Grammars
- Unnamed Item
This page was built for publication: Toward knowledge-based specifications of languages