Login / Signup
Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation.
Paolo G. Giarrusso
Yann Régis-Gianas
Philipp Schuster
Published in:
ESOP (2019)
Keyphrases
</>
lambda calculus
program understanding
reverse engineering
programming language
fault localization
software maintenance
predicate calculus
main memory
databases
complex objects
query optimization
open source
software engineering
query processing
program comprehension
database systems
artificial intelligence