scientific article; zbMATH DE number 2017362

MaRDI QIDQ4439601zbMATH OpenFDO

Authors Henrik Theiling

Publication date 14 December 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2491/24910349.htm

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of software (68N99)

Recommendations

• Quantitative interprocedural analysis
• Modern methods for interprocedural program analysis
• Interprocedural analysis and optimization
• Segment Abstraction for Worst-Case Execution Time Analysis
• Interprocedurally Analysing Linear Inequality Relations

Cited in

(2)

• Symbolic worst case execution times
• Quantitative interprocedural analysis

This page was built for publication:

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