DSpace at KOASAS
Browsing DSpace

Browse by Author O'Hearn, Peter W.

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 5 of 5

1
A local shape analysis based on separation logic

Distefano, Dino; O'Hearn, Peter W.; Yang, Hongseok, TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, v.3920, pp.287 - 302, 2006

2
Beyond reachability: Shape abstraction in the presence of pointer arithmetic

Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter W.; Yang, Hongseok, STATIC ANALYSIS, PROCEEDINGS, v.4134, pp.182 - 203, 2006

3
Compositional Shape Analysis by Means of Bi-Abduction

Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter W.; Yang, Hongseok, JOURNAL OF THE ACM, v.58, no.6, 2011-12

4
Separation and information hiding

O'Hearn, Peter W.; Yang, Hongseok; Reynolds, John C., ACM SIGPLAN NOTICES, v.39, pp.268 - 280, 2004-01

5
Separation and Information Hiding

O'Hearn, Peter W.; Yang, Hongseok; Reynolds, John C., ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.31, no.3, 2009-04

Discover

rss_1.0 rss_2.0 atom_1.0