Login / Signup
Separate compilation for synchronous programs.
Jens Brandt
Klaus Schneider
Published in:
SCOPES (2009)
Keyphrases
</>
automatic programming
genetic algorithm
case study
data structure
real time
databases
neural network
real world
decision making
high level
database systems
answer sets
fixpoint
intermediate level