Proceedings of the 28_th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages® (POPL® 2001)ACM SIGPLAN notices. 2001, Vol 36, Num 3, issn 1523-2867, 312 p.Conference Proceedings

Proceedings of the 2002 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'02)ACM SIGPLAN notices. 2002, Vol 37, Num 1, issn 1523-2867, 351 p.Conference Proceedings

The strength of non-size increasing computationHOFMANN, Martin.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 260-269, issn 1523-2867Conference Paper

Bounding space usage of conservative garbage collectorsBOEHM, Hans-J.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 93-100, issn 1523-2867Conference Paper

An abstract Monte-Carlo method for the analysis of probabilistic programsMONNIAUX, David.ACM SIGPLAN notices. 2001, Vol 36, Num 3, pp 93-101, issn 1523-2867Conference Paper

Regular expression pattern matching for XMLHOSOYA, Haruo; PIERCE, Benjamin.ACM SIGPLAN notices. 2001, Vol 36, Num 3, pp 67-80, issn 1523-2867Conference Paper

Stratified operational semantics for safety and correctness of the region calculusCALCAGNO, Cristiano.ACM SIGPLAN notices. 2001, Vol 36, Num 3, pp 155-165, issn 1523-2867Conference Paper

Efficient deductive methods for program analysisGANZINGER, Harald.ACM SIGPLAN notices. 2001, Vol 36, Num 3, pp 102-103, issn 1523-2867Conference Paper

Modules, abstract types, and distributed versioningSEWELL, Peter.ACM SIGPLAN notices. 2001, Vol 36, Num 3, pp 236-247, issn 1523-2867Conference Paper

Subtyping arithmetical typesGIL, Joseph.ACM SIGPLAN notices. 2001, Vol 36, Num 3, pp 276-289, issn 1523-2867Conference Paper

A generic type system for the pi-calculusIGARASHI, Atsushi; KOBAVASHI, Naoki.ACM SIGPLAN notices. 2001, Vol 36, Num 3, pp 128-141, issn 1523-2867Conference Paper

Nomadic pict : Correct communication infrastructure for mobile computationUNYAPOTH, Asis; SEWELL, Peter.ACM SIGPLAN notices. 2001, Vol 36, Num 3, pp 116-127, issn 1523-2867Conference Paper

Combining subsumption and binary methods : An object calculus with viewsVOUILLON, Jérome.ACM SIGPLAN notices. 2001, Vol 36, Num 3, pp 290-303, issn 1523-2867Conference Paper

Secure Safe AmbientsBUGLIESI, Michele; CASTAGNA, Giuseppe.ACM SIGPLAN notices. 2001, Vol 36, Num 3, pp 222-235, issn 1523-2867Conference Paper

Programming language methods in computer securityMITCHELL, John C.ACM SIGPLAN notices. 2001, Vol 36, Num 3, pp 1-3, issn 1523-2867Conference Paper

Type-based flow analysis : From polymorphic subtyping to CFL-reachabilityREHOF, Jakob; FÄHNDRICH, Manuel.ACM SIGPLAN notices. 2001, Vol 36, Num 3, pp 54-66, issn 1523-2867Conference Paper

Extensionality and intensionality of the ambient logicsSANGIORGI, Davide.ACM SIGPLAN notices. 2001, Vol 36, Num 3, pp 4-13, issn 1523-2867Conference Paper

A uniform type structure for secure information flowHONDA, Kohei; YOSHIDA, Nobuko.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 81-92, issn 1523-2867Conference Paper

Representation independence, confinement and access control [extended abstract]BANERJEE, Anindya; NAUMANN, David A.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 166-177, issn 1523-2867Conference Paper

Resource usage analysisIGARASHI, Atsushi; KOBAYASHI, Naoki.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 331-342, issn 1523-2867Conference Paper

Stochastic lambda calculus and monads of probability distributionsRAMSEY, Norman; PFEFFER, Avi.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 154-165, issn 1523-2867Conference Paper

The hardness of cache conscious data placement: (Extended abstract)PETRANK, Erez; RAWITZ, Dror.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 101-112, issn 1523-2867Conference Paper

Mining specificationsAMMONS, Glenn; BODIK, Rastislav; LARUS, James R et al.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 4-16, issn 1523-2867Conference Paper

Functional logic overloadingNEUBAUER, Matthias; THIEMANN, Peter; GASBICHLER, Martin et al.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 233-244, issn 1523-2867Conference Paper

Role analysisKUNCAK, Viktor; LAM, Patrick; RINARD, Martin et al.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 17-32, issn 1523-2867Conference Paper