au.\*:("Association for Computing Machinery (ACM) ; Special Interest Group on Algorithms and Computation Theory (SIGACT)")
Results 1 to 25 of 32
Selection :
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
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
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
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
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
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
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
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
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
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
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
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
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
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