Stránky
| Annotations | Naposledy aktualizováno: před 7 roky |
| Compilation Models | Naposledy aktualizováno: před 7 roky |
| Goals and targets | Naposledy aktualizováno: před 7 roky |
| Guarantees and limitations | Naposledy aktualizováno: před 7 roky |
| Inheritance or not? | Naposledy aktualizováno: před 7 roky |
| Library tags and restrictions | Naposledy aktualizováno: před 7 roky |
| Memory Tags | Naposledy aktualizováno: před 7 roky |
| Preconditions, postconditions and formal proof | Naposledy aktualizováno: před 7 roky |