Specifying and automatically generating a specialization tool for Fortran 90

DOI10.1023/A:1026594220718zbMath1034.68578OpenAlexW1527339342MaRDI QIDQ1857313

Sandrine Blazy

Publication date: 17 February 2003

Published in: Automated Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1026594220718

zbMATH Keywords

formal specificationinterprocedural analysisdynamic semanticspartial evaluationproof of correctnessalias analysisprogram understanding

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Specifying and automatically generating a specialization tool for Fortran 90