Precise interprocedural analysis using random interpretationGULWANI, Sumit; NECULA, George C.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 324-337, issn 1523-2867, 14 p.Conference Paper

Separation logic and abstractionPARKINSON, Matthew; BIERMAN, Gavin.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 247-258, issn 1523-2867, 12 p.Conference Paper

The Java memory modelMANSON, Jeremy; PUGH, William; ADVE, Sarita V et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 378-391, issn 1523-2867, 14 p.Conference Paper

Scalable error detection using boolean satisfiabilityYICHEN XIE; AIKEN, Alex.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 351-363, issn 1523-2867, 13 p.Conference Paper

Transition predicate abstraction and fair terminationPODELSKI, Andreas; RYBALCHENKO, Andrey.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 132-144, issn 1523-2867, 13 p.Conference Paper

Environmental acquisition revisitedCOBBE, Richard; FELLEISEN, Matthias.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 14-25, issn 1523-2867, 12 p.Conference Paper

Parametric polymorphism for XMLHOSOYA, Haruo; FRISCH, Alain; CASTAGNA, Giuseppe et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 50-62, issn 1523-2867, 13 p.Conference Paper

A bisimulation for type abstraction and recursionSUMII, Eijiro; PIERCE, Benjamin C.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 63-74, issn 1523-2867, 12 p.Conference Paper

Permission accounting in separation logicBORNAT, Richard; CALCAGNO, Cristiano; O'HEARN, Peter et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 259-270, issn 1523-2867, 12 p.Conference Paper

Associated types with classCHAKRAVARTY, Manuel M. T; KELLER, Gabriele; JONES, Simon Peyton et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 1-13, issn 1523-2867, 13 p.Conference Paper

Downgrading policies and relaxed noninterferencePENG LI; ZDANCEWIC, Steve.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 158-170, issn 1523-2867, 13 p.Conference Paper

Theoretical foundations for compensations in flow composition languagesBRUNI, Roberto; MELGRATTI, Hernan; MONTANARI, Ugo et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 209-220, issn 1523-2867, 12 p.Conference Paper

A probabilistic language based upon sampling functionsSUNGWOO PARK; PFENNING, Frank; THRUN, Sebastian et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 171-182, issn 1523-2867, 12 p.Conference Paper

A semantics for procedure local heaps and its abstractionsRINETZKY, Noam; BAUER, Jörg; REPS, Thomas et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 296-309, issn 1523-2867, 14 p.Conference Paper

A framework for numeric analysis of array operationsGOPAN, Denis; REPS, Thomas; SAGIV, Mooly et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 338-350, issn 1523-2867, 13 p.Conference Paper

A syntactic approach to eta equality in type theoryGOGUEN, Healfdene.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 75-84, issn 1523-2867, 10 p.Conference Paper

From sequential programs to multi-tier applications by program transformationNEUBAUER, Matthias; THIEMANN, Peter.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 221-232, issn 1523-2867, 12 p.Conference Paper

Automated soundness proofs for dataflow analyses and transformations via local rulesLERNER, Sorin; MILLSTEIN, Todd; RICE, Erika et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 364-377, issn 1523-2867, 14 p.Conference Paper

Region-based shape analysis with tracked locationsHACKETT, Brian; RUGINA, Radu.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 310-323, issn 1523-2867, 14 p.Conference Paper

Slot games : a quantitative model of computationGHICA, Dan R.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 85-97, issn 1523-2867, 13 p.Conference Paper

Combinators for Bi-directional tree transformations : A linguistic approach to the view update problemFOSTER, J. Nathan; GREENWALD, Michael B; MOORE, Jonathan T et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 233-246, issn 1523-2867, 14 p.Conference Paper

Transactors : A programming model for maintaining globally consistent distributed state in unreliable environmentsFIELD, John; VARELA, Carlos A.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 195-208, issn 1523-2867, 14 p.Conference Paper