scientific article

zbMath0977.68688MaRDI QIDQ2764069

Mooly Sagiv, Noam Rinetzky

Publication date: 22 January 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2027/20270133

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Related Items (2)

Interprocedural shape analysis using separation logic-based transformer summaries ⋮ Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs

Uses Software

• TVLA

This page was built for publication: