Specifying Dynamic Analyses by Extending Language Semantics.
Adrian LienhardTudor GîrbaOscar NierstraszPublished in: IEEE Trans. Software Eng. (2012)
Keyphrases
- logical language
- logic programming language
- formal language
- specification language
- formal semantics
- intended meaning
- definition language
- operational semantics
- conceptual graphs
- highly expressive
- natural language
- modeling language
- speech acts
- multiple inheritance
- programming language
- knowledge base
- semantically equivalent
- formal languages
- fixed point semantics
- predicate calculus
- model theoretic
- conditional logic
- relational structures
- expressive power
- semantic information
- logic programming