Login / Signup
A Provably Correct Compilation of Functional Languages into Scripting Languages.
Paola Giannini
Albert Shaqiri
Published in:
Sci. Ann. Comput. Sci. (2017)
Keyphrases
</>
provably correct
scripting languages
programs written
programming language
situation calculus
source code
operating system
formal methods
quality assurance
functional language
machine learning
machine vision
interval arithmetic
distributed systems
general purpose
database systems
artificial intelligence