True Relative Completeness of an Axiom System for the Language L4 (Abridged)

Steven M. German Edmund M. Clarke Joseph Y. Halpern

Published in: LICS (1986)

Keyphrases

programming language
natural language
object oriented programming
specification language
english language
neural network
modeling language
programming environment
high level
relational databases
probabilistic model
language learning
language processing
pattern languages
computational linguistics