A kripke logical relation for effect-based program transformations (Q5176994)
From MaRDI portal
scientific article; zbMATH DE number 6411565
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A kripke logical relation for effect-based program transformations |
scientific article; zbMATH DE number 6411565 |
Statements
A kripke logical relation for effect-based program transformations (English)
0 references
5 March 2015
0 references
dangling pointers
0 references
effect masking
0 references
Kripke logical relation
0 references
program transformations
0 references
step-indexed model
0 references
type and effect system
0 references
ultrametric spaces
0 references
