Partial Evaluation of Reversible Flowchart Programs.

Louis Normann Robert Glück

Published in: PEPM (2024)

Keyphrases

partial evaluation
explanation based generalization
markov chain
cellular automata
computer programs
domain theory
support vector
xpath queries
artificial intelligence
face recognition
relational databases