The bedrock structured programming system

We report on the design and implementation of an extensible programming language and its intrinsic support for formal verification. Our language is targeted at low-level programming of infrastructure like operating systems and runtime systems. It is based on a cross-platform core combining character...

Descrizione completa

Dettagli Bibliografici
Autore principale: Chlipala, A
Natura: Articolo
Lingua:English
Pubblicazione: Association for Computing Machinery (ACM) 2021
Accesso online:https://hdl.handle.net/1721.1/135766