Angelic nondeterminism in the unifying theories of programming.
Ana CavalcantiJim WoodcockSteve DunnePublished in: Formal Aspects Comput. (2006)
Keyphrases
- programming language
- high level language
- computer programming
- computational models
- formal models
- development environment
- high level
- information retrieval
- decision making
- information systems
- databases
- situation calculus
- social networks
- artificial intelligence
- programming environment
- programming course
- intelligent tutor
- data mining