Programming a Smalltalk VM in Coq.

Boris Shingarov

Published in: IWST (2017)

Keyphrases

programming language
programming environment
object oriented
general purpose
virtual machine
object oriented programming
theorem prover
real time
data sets
software engineering
high level
data mining
databases
development environment
computer programming
database
programming concepts
high level language