Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations.
Björn LisperPublished in: Theor. Comput. Sci. (1998)
Keyphrases
- transformation rules
- logic programming
- dynamic environments
- programming language constructs
- declarative semantics
- stable model semantics
- semantic information
- real world
- formal semantics
- computing environments
- program execution
- computer programs
- optimal strategy
- xml documents
- relational databases
- knowledge base
- search engine
- genetic algorithm