DeepSEA: a language for certified system software.

Vilhelm Sjöberg Yuyang Sang Shu-Chun Weng Zhong Shao

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

software development
software systems
modeling language
computer software
programming language
software tools
language processing
software platform
natural language
graphical user interfaces
database
low power
software projects
software design
target language
software quality