VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs.

Petra van den Bos Sung-Shik Jongmans

Published in: FM (2023)

Keyphrases

databases
database
automatic programming
control structures
high level programming language
real time
computer programs
machine learning
decision making
relational databases
query processing
general purpose
massively parallel
fixpoint
intermediate level