From POPL to the classroom and backFELLEISEN, Matthias.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 126-127, issn 1523-2867Conference Paper

Towards automatic construction of staged compilersPHILIPOSE, Matthai; CHAMBERS, Craig; EGGERS, Susan J et al.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 113-125, issn 1523-2867Conference Paper

Bisimulation congruences in Safe AmbientsMERRO, Massimo; HENNESSY, Matthew.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 71-80, issn 1523-2867Conference Paper

Predicate abstraction for software verificationFLANAGAN, Cormac; QADEER, Shaz.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 191-202, issn 1523-2867Conference Paper

Composing dataflow analyses and transformationsLERNER, Sorin; GROVE, David; CHAMBERS, Craig et al.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 270-282, issn 1523-2867Conference Paper

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 first-order theory of subtyping constraintsSU, Zhendong; AIKEN, Alexander; NIEHREN, Joachim et al.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 203-216, 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

Exploiting prolific types for memory management and optimizationsSHUF, Yefim; GUPTA, Manish; BORDAWEKAR, Rajesh et al.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 295-306, issn 1523-2867Conference Paper

Scalable formal design methods for asynchronous VLSIMANOHAR, Rajit.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 245-246, issn 1523-2867Conference Paper

An efficient profile-analysis framework for data-layout optimizationsRUBIN, Shai; BODIK, Rastislav; CHILIMBI, Trishul et al.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 140-153, 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