Illustrating the Mezzo programming language
URL: https://inria.hal.science/hal-00910402
Dataset description:
When programmers want to prove strong program invariants, they are usually faced with a choice between using theorem provers and using traditional programming languages. The...
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 8, 2026 |
| Created | unknown |
| Format | HTML |
| License | No License Provided |
| Created | 6 months ago |
| Id | 54715778-ea37-4afe-9c5e-85e7473a5520 |
| Package id | oai-hal-hal-00910402v1 |
| Resource type | HTML |
| State | active |