Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations.
Björn LisperPublished in: CAAP (1996)
Keyphrases
- formal semantics
- transformation rules
- programming language constructs
- intended meaning
- dynamic environments
- programming language
- stable model semantics
- computer programs
- semantically equivalent
- logic programming
- declarative semantics
- efficient computation
- operational semantics
- control flow
- static analysis
- programming environment
- highly dynamic
- database
- autonomous robots
- semantic information
- test cases
- data model
- genetic algorithm
- real world