Login / Signup
Verified Functional Programming of an Abstract Interpreter.
Lucas Franceschino
David Pichardie
Jean-Pierre Talpin
Published in:
CoRR (2021)
Keyphrases
</>
functional programming
programming language
functional language
quantifier elimination
object oriented programming
execution model
high level
production system
general purpose
object oriented
abstract data types
software engineering
databases
logic programming