Prototype of a Verified Program Code Execution System.

A. V. Kozachok E. V. Kochetkov

Published in: Program. Comput. Softw. (2018)

Keyphrases

program code
programming language
database
open source
databases
machine learning
metadata
user experience
programming concepts