Specifying and automatically generating a specialization tool for Fortran 90

DOI10.1023/A:1026594220718MaRDI QIDQ1857313zbMATH OpenOpenAlexFDO

Authors 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

partial evaluationproof of correctnessdynamic semanticsformal specificationalias analysisinterprocedural 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)

Recommendations

• scientific article; zbMATH DE number 66946
• The formal specification of abstract data types and their implementation in Fortran 90
• Self-generating program specializers
• scientific article; zbMATH DE number 1263392
• Automated code generation of dynamic specializations: An approach based on design patterns and formal techniques
• AUTO\_DERIV: Tool for automatic differentiation of a FORTRAN code
• Automated generation of test paths for Fortran programs

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1857313)