Semantics-preserving procedure extraction

DOI10.1145/325694.325713MaRDI QIDQ5178850zbMATH OpenOpenAlexFDO

Authors Raghavan Komondoor, Susan Horwitz

Publication date 17 March 2015

Published in Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL http://digital.library.wisc.edu/1793/60224

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Analysis of algorithms and problem complexity (68Q25) Semantics in the theory of computing (68Q55)

Recommendations

• Procedure extraction to improve scalability of software model checking
• Function extraction
• Procedures, parameters, and abstraction: Separate concerns
• Classes extraction from procedural programs
• Extraction and verification of programs by analysis of formal proofs

Cited in

(7)

• Classes extraction from procedural programs
• An alternative characterization of weak order dependence
• Verification by gambling on program slices
• A methodology for procedure cloning
• Procedure extraction to improve scalability of software model checking
• An approach for extracting code fragments that implement functionality from source programs
• A trajectory-based strict semantics for program slicing

This page was built for publication: Semantics-preserving procedure extraction

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