Pascal and Francis Bibliographic Databases

Help

Search results

Your search

ti.\*:("Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 37

  • Page / 2
Export

Selection :

  • and

Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesPIERCE, Benjamin C.ACM SIGPLAN notices. 2009, Vol 44, Num 1, issn 1523-2867, 461 p.Conference Proceedings

Automated Verification of Practical Garbage CollectorsHAWBLITZEL, Chris; PETRANK, Erez.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 441-453, issn 1523-2867, 13 p.Conference Paper

Equality Saturation : a New Approach to OptimizationTATE, Ross; STEPP, Michael; TATLOCK, Zachary et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 264-276, issn 1523-2867, 13 p.Conference Paper

Local Rely-Guarantee ReasoningXINYU FENG.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 315-327, issn 1523-2867, 13 p.Conference Paper

State-Dependent Representation IndependenceAHMED, Amal; DREYER, Derek; ROSSBERG, Andreas et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 340-353, issn 1523-2867, 14 p.Conference Paper

Automatic Modular Abstractions for Linear ConstraintsMONNIAUX, David.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 140-151, issn 1523-2867, 12 p.Conference Paper

Focusing on Pattern MatchingKRISHNASWAMI, Neelakantan R.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 366-378, issn 1523-2867, 13 p.Conference Paper

Lazy Evaluation and Delimited ControlGARCIA, Ronald; LUMSDAINE, Andrew; SABRY, Amr et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 153-164, issn 1523-2867, 12 p.Conference Paper

Semi-Sparse Flow-Sensitive Pointer AnalysisHARDEKOPF, Ben; LIN, Calvin.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 226-238, issn 1523-2867, 13 p.Conference Paper

Verifying Distributed Systems : the Operational ApproachRIDGE, Thomas.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 429-440, issn 1523-2867, 12 p.Conference Paper

A Calculus of Atomic ActionsELMAS, Tayfun; QADEER, Shaz; TASIRAN, Serdar et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 2-15, issn 1523-2867, 14 p.Conference Paper

A Combination Framework for Tracking Partition SizesGULWANI, Sumit; LEV-AMI, Tal; SAGIV, Mooly et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 239-251, issn 1523-2867, 13 p.Conference Paper

Compositional Shape Analysis by means of Bi-AbductionCALCAGNO, Cristiano; DISTEFANO, Dino; O'HEARN, Peter et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 289-300, issn 1523-2867, 12 p.Conference Paper

Relaxed Memory Models : an Operational ApproachBOUDOL, Gérard; PETRI, Gustavo.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 392-403, issn 1523-2867, 12 p.Conference Paper

Formal Certification of Code-Based Cryptographic ProofsBARTLLE, Gilles; GREGOIRE, Benjamin; ZANELLA BEGUELIN, Santiago et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 90-101, issn 1523-2867, 12 p.Conference Paper

Verifying Liveness for Asynchronous ProgramsGANTY, Pierre; MAJUMDAR, Rupak; RYBALCHENKO, Andrey et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 102-113, issn 1523-2867, 12 p.Conference Paper

A Cost Semantics for Self-Adjusting ComputationLEY-WILD, Ruy; ACAR, Umut A; FLUET, Matthew et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 186-199, issn 1523-2867, 14 p.Conference Paper

Bidirectionalization for Free! (Pearl)VOIGTLÄNDER, Janis.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 165-176, issn 1523-2867, 12 p.Conference Paper

Copy-on-Write in the PHP LanguageTOZAWA, Akihiko; TATSUBORI, Michiaki; ONODERA, Tamiya et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 200-212, issn 1523-2867, 13 p.Conference Paper

A Model of Cooperative ThreadsABADI, Martin; PLOTKIN, Gordon.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 29-40, issn 1523-2867, 12 p.Conference Paper

Masked Types for Sound Object InitializationXIN QI; MYERS, Andrew C.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 53-65, issn 1523-2867, 13 p.Conference Paper

Static Contract Checking for HaskellXU, Dana N; JONES, Simon Peyton; CLAESSEN, Knen et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 41-52, issn 1523-2867, 12 p.Conference Paper

The Theory of Deadlock Avoidance via Discrete ControlYIN WANG; LAFORTUNE, Stéphane; KELLY, Terence et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 252-263, issn 1523-2867, 12 p.Conference Paper

Proving That Non-Blocking Algorithms Don't BlockGOTSMAN, Alexey; COOK, Byron; PARKINSON, Matthew et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 16-28, issn 1523-2867, 13 p.Conference Paper

The Semantics of x86-CC Multiprocessor Machine CodeSARKAR, Susmit; SEWELL, Peter; ZAPPA NARDELLI, Francesco et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 379-391, issn 1523-2867, 13 p.Conference Paper

  • Page / 2