Sign in
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters.
Sven Keidel
Sebastian Erdweg
Tobias Hombücher
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
fixpoint
orders of magnitude
update rule
databases
learning algorithm
programming language
data mining techniques
logic programs