Title of article :
A proof method for the correctness of modularized 0CFA
Author/Authors :
Oukseh Lee، نويسنده , , Kwangkeun Yi، نويسنده , , Yunheung Paek، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2002
Keywords :
Functional languages , Separate compilation , Static analysis , Formal semantics , Control-flow analysis
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
