Static Checking of Variable Handling in Dijkstra's Guarded Commands Language.

Published in: Comput. Lang. (1986)

Keyphrases

programming language
language learning
type checking
database
high level
natural language
machine learning
fixed point
data sets
information retrieval
general purpose
expressive power
query answering
conceptual graphs
language processing
operational semantics
real time