Semantics-preserving procedure extraction

DOI10.1145/325694.325713zbMath1323.68360OpenAlexW2171200144MaRDI QIDQ5178850

Susan Horwitz, Raghavan Komondoor

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

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

Related Items (3)

Verification by gambling on program slices ⋮ An alternative characterization of weak order dependence ⋮ A trajectory-based strict semantics for program slicing

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