Characterizing Specification Languages Which Admit Initial Semantics.

Bernd Mahr Johann A. Makowsky

Published in: CAAP (1983)

Keyphrases

specification languages
formal specification
object oriented programs
first order logic
model checking
data sets
machine learning
specification language
real time
neural network
genetic algorithm
case study
database systems
multi agent