Higher-Order Separation Logic in Isabelle/HOLCF (Q5415649)
From MaRDI portal
scientific article; zbMATH DE number 6294848
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Higher-Order Separation Logic in Isabelle/HOLCF |
scientific article; zbMATH DE number 6294848 |
Statements
Higher-Order Separation Logic in Isabelle/HOLCF (English)
0 references
13 May 2014
0 references
copying garbage collection
0 references
Isabelle/HOL
0 references
reliability
0 references
separation logic
0 references
verification
0 references
