Title of article :
Specifying and Automatically Generating a Specialization Tool for Fortran 90
Author/Authors :
Sandrine Blazy ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Keywords :
Formal specification , interproceduralanalysis , dynamic semantics , Proof of correctness , Partial evaluation , Program Understanding , Alias analysis
Journal title :
Automated Software Engineering
Journal title :
Automated Software Engineering
