| 
|
QuoteRef: boylJM5_1999
topics >
all references >
ThesaHelp:
references a-b
Topic:
transformation of programs
Topic:
uniform language systems
Reference
Boyle, J.M., Resler, R.D., Winter, V.L., "Do you trust your compiler?", Computer, May 1999, pp. 65-73. Google
66 ;;Quote: RISC code is correct if the program is correct and you verify the transformations from program to RISC
66 ;;Quote: for transformations, want the same language for specification, procedures, and assembly code; otherwise limits usefulness
ThesaHelp: references a-b (396 items)
Topic: transformation of programs (27 items)
Topic: uniform language systems (25 items)