Compilation by refinement for a practical assembly language

Watson, G. N. (2003). Compilation by refinement for a practical assembly language. In: J. Dong and J. Woodcock, Proceedings of the Fifth International Conference on Formal Engineering Methods. The Fifth International Conference on Formal Engineering Methods, Singapore, (286-305). 5-7 November 2003. doi:10.1007/b94115


Author Watson, G. N.
Title of paper Compilation by refinement for a practical assembly language
Conference name The Fifth International Conference on Formal Engineering Methods
Conference location Singapore
Conference dates 5-7 November 2003
Proceedings title Proceedings of the Fifth International Conference on Formal Engineering Methods   Check publisher's open access policy
Journal name Formal Methods and Software Engineering, Proceedings   Check publisher's open access policy
Place of Publication Berlin, Germany
Publisher Springer
Publication Year 2003
Sub-type Fully published paper
DOI 10.1007/b94115
ISBN 3-540-20461-X
ISSN 0302-9743
1611-3349
Editor J. Dong
J. Woodcock
Volume 2885
Start page 286
End page 305
Total pages 20
Collection year 2003
Language eng
Abstract/Summary 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.
Subjects E1
280403 Logics and Meanings of Programs
700199 Computer software and services not elsewhere classified
Keyword Program refinement
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Fri, 24 Aug 2007, 01:59:14 EST