Conditional syntactic specification.

J. A. N. Lee Joe P. Dorocak

Published in: ACM Annual Conference (1973)

Keyphrases

attribute grammars
natural language
formal specification
neural network
information systems
high level
higher level
formal verification
data mining
machine learning
genetic algorithm
artificial intelligence
case study
provably correct
syntactic semantic