Specifying and automatically generating a specialization tool for Fortran 90

DOI10.1023/A:1026594220718zbMath1034.68578MaRDI 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 specification; interprocedural analysis; dynamic semantics; partial evaluation; proof of correctness; alias analysis; program understanding

Mathematics Subject Classification ID

68N15: Theory of programming languages

68U99: Computing methodologies and applications

68Q60: Specification and verification (program logics, model checking, etc.)