scientific article; zbMATH DE number 3548464
From MaRDI portal
Publication:4122832
zbMath0352.68095MaRDI QIDQ4122832
Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45) General topics in the theory of software (68N01) Algorithms in computer science (68W99)
Related Items (7)
Local constraints in programming languages. I: Syntax ⋮ Hierarchical development of programming languages ⋮ Universal grammars ⋮ Functional grammars ⋮ Semantic equivalence of covering attribute 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:
