Program logics for certified compilers.
I tiakina i:
| Ngā kaituhi matua: | , , , , , , , |
|---|---|
| Hōputu: | Pukapuka |
| Reo: | Ingarihi |
| I whakaputaina: |
New York, NY., USA:
Cambridge University Press,
2014.
|
| Ngā marau: | |
| Ngā Tūtohu: |
Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
Rārangi ihirangi:
- Generic separation logic
- Hoare logic
- Separation logic
- Soundness of Hoare logic
- Mechanized semantic library
- Separation algebras
- Operators on separation algebras
- First-order separation logic
- A little case study
- Covariant recursive predicates
- Share accounting
- Higher order separation logic
- Separation logic as a logic
- From separation algebras to separation logic
- Simplification by rewriting
- Introduction to step-indexing
- Predicate implication and subtyping
- General recursive predicates
- Case study: separation logic with first-class functions.