Login / Signup
A transformational proof system for delta-oriented programming.
Ferruccio Damiani
Olaf Owe
Johan Dovland
Ina Schaefer
Einar Broch Johnsen
Ingrid Chieh Yu
Published in:
SPLC (2) (2012)
Keyphrases
</>
oriented programming
modal logic
object oriented
multi agent
yangtze river
neural network
linear logic
proof search
genetic algorithm
image processing
case study
database systems
scheduling problem
logic programming
constraint satisfaction problems
model checker