A type system for certified binariesZHONG SHAO; SAHA, Bratin; TRIFONOV, Valery et al.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 217-232, issn 1523-2867Conference Paper

Information flow inference for MLPOTTIER, Francois; SIMONET, Vincent.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 319-330, issn 1523-2867Conference Paper

Stack inspection: Theory and variantsFOURNET, Cédric; GORDON, Andrew D.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 307-318, 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

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

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

Lazy abstractionHENZINGER, Thomas A; JHALA, Ranjit; MAJUMDAR, Rupak et al.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 58-70, issn 1523-2867Conference Paper

Adaptive functional programmingACAR, Umut A; BLELLOCH, Guy E; HARPER, Robert et al.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 247-259, issn 1523-2867Conference Paper

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

Analyzing security protocols with secrecy types and logic programsABADI, Martin; BLANCHET, Bruno.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 33-44, 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

The SLAM project: Debugging system software via static analysisBALL, Thomas; RAJAMANI, Sriram K.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 1-3, issn 1523-2867Conference Paper

Types as models: Model checking message-passing programsCHAKI, Sagar; RAJAMANI, Sriram K; REHOF, Jakob et al.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 45-57, 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

Proving correctness of compiler optimizations by temporal logicLACEY, David; JONES, Neil D; VAN WYK, Eric et al.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 283-294, 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

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

CCured: Type-safe retrofitting of legacy codeNECULA, George C; MCPEAK, Scott; WEIMER, Westley et al.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 128-139, issn 1523-2867Conference Paper

Systematic design of program transformation frameworks by abstract interpretationCOUSOT, Patrick; COUSOT, Radhia.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 178-190, issn 1523-2867Conference Paper