An introduction to the verification oriented microprogramming language "MIDDLE".

Piotr Dembinski Stanislaw Budkowski

Published in: MICRO (1978)

Keyphrases

oriented programming
natural language
language learning
model checking
programming language
formal verification
knowledge representation
real world
conceptual graphs
face verification
specification language
neural network
machine learning
test cases
data sets
modeling language
formal language
model checker