The Qualified Function Approach to Analysis of Program Behavior and Performance

DOI10.1109/TSE.1985.232525MaRDI QIDQ3677147zbMATH OpenOpenAlexFDO

Authors A. Gabrielian, Lawrence P. McNamee, David J. Trawick

Publication date 1985

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tse.1985.232525

zbMATH Keywords

performance evaluationsymbolic executionsymbolic evaluationprogram behaviorprogram execution times

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 6268799
• Control-flow analysis of functional programs
• scientific article; zbMATH DE number 4106261
• An approach to analyzing the properties of programs
• Design and analysis of purely functional programs.
• scientific article; zbMATH DE number 3874581

Cited in

(1)

• Quality engineering: leveraging heterogeneous information (invited talk)

This page was built for publication: The Qualified Function Approach to Analysis of Program Behavior and Performance

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