TY  - GEN
N2  - cse-85-001
DO  - 10.6083/qz20ss87f
DO  - DOI
AB  - cse-85-001
T1  - Translating an FP dialect to L - A proof of correctness
DA  - 1985
AU  - Volpano, Dennis M.
L1  - https://digitalcollections.ohsu.edu/record/3817/files/csetech-134.pdf
PY  - 1985
ID  - 3817
L4  - https://digitalcollections.ohsu.edu/record/3817/files/csetech-134.pdf
TI  - Translating an FP dialect to L - A proof of correctness
Y1  - 1985
L2  - https://digitalcollections.ohsu.edu/record/3817/files/csetech-134.pdf
LK  - https://digitalcollections.ohsu.edu/record/3817/files/csetech-134.pdf
UR  - https://digitalcollections.ohsu.edu/record/3817/files/csetech-134.pdf
ER  -