A proof method for the correctness of modularized 0CFA
From MaRDI portal
Publication:1603499
DOI10.1016/S0020-0190(01)00223-XzbMath1005.68511MaRDI QIDQ1603499
Yunheung Paek, Oukseh Lee, Kwangkeun Yi
Publication date: 14 July 2002
Published in: Information Processing Letters (Search for Journal in Brave)
functional languages; formal semantics; static analysis; control-flow analysis; separate compilation
Cites Work