Sign in

Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters.

Sven KeidelSebastian ErdwegTobias 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