The influence of language semantics on program slices.
J. C. HwangM. W. DuC. R. ChouPublished in: ICCL (1988)
Keyphrases
- intended meaning
- declarative semantics
- semantically equivalent
- logic programming language
- logic programming
- logical language
- programming language constructs
- programming language
- computer programs
- operational semantics
- specification language
- deductive databases
- definition language
- conceptual graphs
- formal semantics
- logic programs
- formal language
- functional programs
- highly expressive
- denotational semantics
- natural language
- conditional logic
- dynamic logic
- modelling language
- proof theory
- uml class diagrams
- semantic representations
- language learning
- modeling language
- test cases
- semantic information
- action language
- model theoretic
- formal languages
- programs written
- disjunctive logic programming
- speech acts
- predicate calculus
- concurrent programming
- answer set programming
- fixed point semantics
- conceptual model