Sign in
Code Migration with First Order Continuations.
Paul Tarau
Verónica Dahl
Published in:
APPIA-GULP-PRODE (1998)
Keyphrases
</>
source code
higher order
first order logic
quantifier elimination
horn clauses
object oriented
data flow
error correction
operating system
real time
case study
knowledge base
search engine
information retrieval
data mining
neural network
databases