Frame rules from answer types for code pointers (Q5348932)
From MaRDI portal
scientific article; zbMATH DE number 6763194
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Frame rules from answer types for code pointers |
scientific article; zbMATH DE number 6763194 |
Statements
Frame rules from answer types for code pointers (English)
0 references
21 August 2017
0 references
Hoare logic
0 references
code pointers
0 references
continuations
0 references
polymorphism
0 references
typed assembly language
0 references
