An Internalist Approach to Correct-by-Construction Compilers.

Alberto Pardo Emmanuel Gunther Miguel Pagano Marcos Viera

Published in: PPDP (2018)

Keyphrases

programming language
general purpose
hardware and software
database
construction process
databases
neural network
data mining
machine learning
computer vision
relational databases
hidden markov models
mobile robot
low cost
computer architecture