On transformation of logic specifications into procedural programs.
Janet M. LinJie-Yong JuangStephen S. YauPublished in: TAI (1989)
Keyphrases
- recursive programs
- transformation rules
- delay insensitive
- program synthesis
- logic programs
- asynchronous circuits
- control flow
- dynamic logic
- operational semantics
- bounded model checking
- transition systems
- logic programming
- object oriented
- computational properties
- declarative semantics
- modal logic
- web services
- formal language
- finite state machines
- business rules
- high level
- agent programming
- state machine
- fixpoint
- conceptual knowledge
- procedural knowledge
- multi valued
- linear transformation
- classical logic