Login / Signup
Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars.
Hartmut Ehrig
Francesco Parisi-Presicce
Published in:
Graph-Grammars and Their Application to Computer Science (1990)
Keyphrases
</>
graph grammars
specification language
formal specification
syntactic pattern recognition
context sensitive
context free
high level
formal language
model checking
context dependent
grammatical inference
higher order
programming language
parameter learning
generative model
production rules