Precise Set Sharing Analysis for Java-Style Programs

DOI10.1007/978-3-540-78163-9_17zbMath1138.68354OpenAlexW2136709281MaRDI QIDQ5452716

Mario Méndez-Lojo, Manuel V. Hermenegildo

Publication date: 4 April 2008

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

Full work available at URL: http://oa.upm.es/2906/

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (4)

The role of linearity in sharing analysis ⋮ Parallel Logic Programming: A Sequel ⋮ Exploiting linearity in sharing analysis of object-oriented programs ⋮ Negative Ternary Set-Sharing

This page was built for publication: Precise Set Sharing Analysis for Java-Style Programs