Login / Signup
Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions.
Dániel Horpácsi
Péter Bereczky
Simon Thompson
Published in:
CoRR (2022)
Keyphrases
</>
recursive functions
lambda calculus
program understanding
inductive inference
reverse engineering
fault localization
programming language
predicate calculus
software maintenance
databases
high level
artificial intelligence
data model