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 |