LMS-Verify: abstraction without regret for verified systems programming.

Nada Amin Tiark Rompf

Published in: POPL (2017)

Keyphrases

computer systems
building blocks
database
learning systems
learning management systems
expert systems
active learning
online learning