Synthesis of Logic Programs from Object-Oriented Formal Specifications.
Ángel Herranz-NievaJulio MariñoPublished in: ICLP (Technical Communications) (2011)
Keyphrases
- logic programs
- formal specification
- object oriented
- object oriented design
- reverse engineering
- functional programs
- logic programming
- object oriented data models
- fixpoint
- object oriented systems
- stable models
- answer sets
- model checking
- term rewriting systems
- answer set programming
- relational databases
- data model
- database applications
- object oriented databases
- prolog programs
- programming language
- computational properties
- program synthesis
- normal logic programs
- inductive logic programming
- database design
- query language
- conceptual model
- software engineering
- database schema
- entity relationship
- conceptual modeling
- software components
- design patterns
- partial deduction
- conceptual models
- monotonicity constraints
- database technology