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...
Autore principale: | |
---|---|
Natura: | Articolo |
Lingua: | English |
Pubblicazione: |
Association for Computing Machinery (ACM)
2021
|
Accesso online: | https://hdl.handle.net/1721.1/135766 |