Compilation by refinement for a practical assembly language
| Contribuinte(s) |
J. Dong J. Woodcock |
|---|---|
| Data(s) |
01/01/2003
|
| Resumo |
In this paper we extend the conventional framework of program refinement down to the assembler level. We describe an extension to the Refinement Calculus that supports the refinement of programs in the Guarded Command Language to programs in .NET assembler. This is illustrated by a small example. |
| Identificador | |
| Idioma(s) |
eng |
| Publicador |
Springer |
| Palavras-Chave | #Program refinement #E1 #280403 Logics and Meanings of Programs #700199 Computer software and services not elsewhere classified |
| Tipo |
Conference Paper |
