Summaries for while programs with recursion

DOI10.1007/978-3-540-31987-0_8MaRDI QIDQ5316586zbMATH OpenOpenAlexFDO

Authors Andreas Podelski, Ina Schaefer, S. Wagner

Publication date 13 September 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107380

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Underapproximation of procedure summaries for integer programs
• Summarizing procedures in concurrent programs
• Summarization for termination: No return!
• Computing Procedure Summaries for Interprocedural Analysis
• Proof rules for recursive procedures

Cited in

(5)

• Unbounded procedure summaries from bounded environments
• Generating precise and concise procedure summaries
• Summarizing procedures in concurrent programs
• Underapproximation of procedure summaries for integer programs
• Summarization for termination: No return!

Describes a project that uses

Uses Software

• Bebop

This page was built for publication: Summaries for while programs with recursion

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