scientific article; zbMATH DE number 3548464

MaRDI QIDQ4122832zbMATH OpenFDO

Authors Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann

Publication date 1976

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45) Symbolic computation and algebraic computation (68W30) Algorithms in computer science (68W99)

Cited in

(7)

• Semantic equivalence of covering attribute grammars
• Local constraints in programming languages. I: Syntax
• Functional grammars
• Hierarchical development of programming languages
• Universal grammars
• Semantics of algorithmic languages
• A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation

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 Q4122832)