Multi-Language Refactoring with Dimensions of Semantics-Preservation.
Hagen SchinkPublished in: Software Engineering (Workshops) (2013)
Keyphrases
- logical language
- logic programming language
- specification language
- operational semantics
- intended meaning
- highly expressive
- definition language
- model theoretic
- formal semantics
- action language
- logic programming
- formal language
- conditional logic
- language learning
- programming language
- natural language
- proof theory
- conceptual graphs
- dynamic logic
- semantic information
- conceptual model
- denotational semantics
- software systems
- database query languages
- semantic representations
- disjunctive logic programming
- formal languages
- modeling language
- uml class diagrams
- fixed point semantics
- cp nets
- modal operators
- predicate calculus
- owl ontologies
- default reasoning
- deductive databases
- semantic web
- natural language processing