Testing the INRIA Ada formal definition: the USC-ISI formal semantics project.

Vittal Kini David F. Martin Allen Stoughton

Published in: AdaTEC Conference on Ada (1982)

Keyphrases

formal semantics
modeling language
operational semantics
first order logic
er model
formal language
project highlights
logical language
case study
logical reasoning
ontology languages
theorem prover
epistemic logic
test cases
software development
database
speech acts
expressive power
columbia university