Formalization IDEs Integrated with a Verifying Compiler.

Daniel Welch Blair Durkee Mike Kabbani Murali Sitaraman

Published in: ICOOOLPS@ECOOP (2017)

Keyphrases

general purpose
programming language
machine learning
case study
knowledge representation
formal model
genetic algorithm
development environments