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