Title of article
Specifying and Automatically Generating a Specialization Tool for Fortran 90
Author/Authors
Sandrine Blazy ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
32
From page
345
To page
376
Keywords
Formal specification , interproceduralanalysis , dynamic semantics , Proof of correctness , Partial evaluation , Program Understanding , Alias analysis
Journal title
Automated Software Engineering
Serial Year
2000
Journal title
Automated Software Engineering
Record number
307074
Link To Document