A formal basis for a program compilation proof tool

Wildman, L. P. (2001) A formal basis for a program compilation proof tool Brisbane: Software Verification Research Cen. Univ of Qld


Author Wildman, L. P.
Title of report A formal basis for a program compilation proof tool
Publication date 2001
ISBN 0302-9743
Publisher Software Verification Research Cen. Univ of Qld
Place of publication Brisbane
Start page 1
End page 20
Total pages 20
Collection year 2001
Subjects 280403 Logics and Meanings of Programs
700199 Computer software and services not elsewhere classified
K
Additional Notes SVRC Tech Report 01-40

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Access Statistics: 44 Abstract Views  -  Detailed Statistics
Created: Tue, 14 Aug 2007, 13:23:59 EST