Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically.
David A. SchmidtPublished in: Semantics, Logics, and Calculi (2016)
Keyphrases
- language learning
- natural language
- programming language
- specification language
- information retrieval
- failure rate
- topology preserving
- language processing
- fixed point
- expressive power
- object oriented
- d objects
- knowledge representation
- target language
- query processing
- three dimensional
- neural network
- english language
- success or failure
- failure prediction