scientific article; zbMATH DE number 2017362

zbMATH Open1027.68954MaRDI QIDQ4439601FDOQ4439601

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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)