Context logic and tree updateCALCAGNO, Cristiano; GARDNER, Philippa; ZARFATY, Uri et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 271-282, issn 1523-2867, 12 p.Conference Paper

Proceedings of the 2005 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005)ACM SIGPLAN notices. 2005, Vol 40, Num 1, issn 1523-2867, 398 p.Conference Proceedings

Communicating quantum processesGAY, Simon J; NAGARAJAN, Rajagopal.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 145-157, issn 1523-2867, 13 p.Conference Paper

Connecting effects and nuiqueness with adoptionBOYLAND, John Tang; RETERT, William.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 283-295, issn 1523-2867, 13 p.Conference Paper

Synthesis of interface specifications for Java classesALUR, Rajeev; MADHUSUDAN, P; CERNY, Pavol et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 98-109, issn 1523-2867, 12 p.Conference Paper

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

Polymorphic bytecode : Compositional compilation for Java-like languagesANCONA, Davide; DAMIANI, Ferruccio; DROSSOPOULOU, Sophia et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 26-37, issn 1523-2867, 12 p.Conference Paper

A simple typed intermediate language for object-oriented languagesJUAN CHEN; TARDITI, David.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 38-49, issn 1523-2867, 12 p.Conference Paper

Proof-guided underapproximation-widening for multi-process systemsGRUMBERG, Orna; LERDA, Flavio; STRICHMAN, Ofer et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 122-131, issn 1523-2867, 10 p.Conference Paper

Dynamic partial-order reduction for model checking softwareFLANAGAN, Cormac; GODEFROID, Patrice.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 110-121, issn 1523-2867, 12 p.Conference Paper

Mutatis mutandis : Safe and predictable dynamic software updatingSTOYLE, Gareth; HICKS, Michael; BIERMAN, Gavin et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 183-194, issn 1523-2867, 12 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