A Kripke logical relation between ML and assembly (Q5408538)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 6282599
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A Kripke logical relation between ML and assembly |
scientific article; zbMATH DE number 6282599 |
Statements
A kripke logical relation between ML and assembly (English)
0 references
10 April 2014
0 references
biorthogonality
0 references
compositional compiler correctness
0 references
garbage collection
0 references
self-modifying code
0 references
step-indexed Kripke logical relations
0 references
0.7578853368759155
0 references
0.7519017457962036
0 references
0.7444762587547302
0 references
0.7314513921737671
0 references
0.7045654654502869
0 references
