Some Applications of Topology to Program Semantics.
Rohit ParikhPublished in: Math. Syst. Theory (1983)
Keyphrases
- computer programs
- control flow
- formal semantics
- semantic information
- semantically equivalent
- programming language constructs
- intended meaning
- logic programming
- source code
- conceptual model
- static analysis
- programming environment
- program execution
- transformation rules
- declarative semantics
- website
- artificial intelligence
- data sets