On the adequacy of dependence-based representations for programs with heaps

DOI10.1007/3-540-54415-1_55zbMath1493.68120OpenAlexW1555095097MaRDI QIDQ5096229

Phil Pfeiffer, Rebecca Parsons Selke

Publication date: 16 August 2022

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

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• The program dependence graph and its use in optimization
• On the Number of Operations Simultaneously Executable in Fortran-Like Programs and Their Resulting Speedup
• Unnamed Item
• Unnamed Item

This page was built for publication: On the adequacy of dependence-based representations for programs with heaps