Hi-Lite: the convergence of compiler technology and program verification.

Johannes Kanig Edmond Schonberg Claire Dross

Published in: HILT (2012)

Keyphrases

general purpose
programming language
case study
computer systems
rapid development
database
machine learning
cost effective
convergence speed
technological advances
digital libraries
information technology
data processing
st century