Abstract is missing.
- Systems biology, models, and concurrencyWalter Fontana. 1-2 [doi]
- Engineering formal metatheoryBrian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich. 3-15 [doi]
- Formal verification of translation validators: a case study on instruction scheduling optimizationsJean-Baptiste Tristan, Xavier Leroy. 17-27 [doi]
- Much ado about two (pearl): A pearl on parallel prefix computationJanis Voigtländer. 29-35 [doi]
- Contextual effects for version-consistent dynamic software updatingalland safe concurrent programmingIulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis. 37-49 [doi]
- High-level small-step operational semantics for transactionsKatherine F. Moore, Dan Grossman. 51-62 [doi]
- Semantics of transactional memory and automatic mutual exclusionMartín Abadi, Andrew Birrell, Tim Harris, Michael Isard. 63-74 [doi]
- Separation logic, abstraction and inheritanceMatthew J. Parkinson, Gavin M. Bierman. 75-86 [doi]
- Enhancing modular OO verification with separation logicWei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin. 87-99 [doi]
- Cyclic proofs of program termination in separation logicJames Brotherston, Richard Bornat, Cristiano Calcagno. 101-112 [doi]
- The intensional content of Rice s theoremAndrea Asperti. 113-119 [doi]
- A logical account of pspaceMarco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca. 121-131 [doi]
- Lightweight semiformal time complexity analysis for purely functional data structuresNils Anders Danielsson. 133-144 [doi]
- Relevance heuristics for program analysisKenneth L. McMillan. 145-146 [doi]
- Proving non-terminationAshutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu. 147-158 [doi]
- Subcubic algorithms for recursive state machinesSwarat Chaudhuri. 159-169 [doi]
- Back to the future: revisiting precise program verification using SMT solversShuvendu K. Lahiri, Shaz Qadeer. 171-182 [doi]
- Automatic inference of stationary fields: a generalization of java s final fieldsChristopher Unkel, Monica S. Lam. 183-195 [doi]
- Demand-driven alias analysis for CXin Zheng, Radu Rugina. 197-208 [doi]
- A theory of platform-dependent low-level softwareMarius Nita, Dan Grossman, Craig Chambers. 209-220 [doi]
- Generating precise and concise procedure summariesGreta Yorsh, Eran Yahav, Satish Chandra. 221-234 [doi]
- Lifting abstract interpreters to quantified logical domainsSumit Gulwani, Bill McCloskey, Ashish Tiwari. 235-246 [doi]
- Relational inductive shape analysisBor-Yuh Evan Chang, Xavier Rival. 247-260 [doi]
- A theory of contracts for web servicesGiuseppe Castagna, Nils Gesbert, Luca Padovani. 261-272 [doi]
- Multiparty asynchronous session typesKohei Honda, Nobuko Yoshida, Marco Carbone. 273-284 [doi]
- Caml tradingYaron Minsky. 285 [doi]
- Clowns to the left of me, jokers to the right (pearl): dissecting data structuresConor McBride. 287-295 [doi]
- Foundations for structured programming with GADTsPatricia Johann, Neil Ghani. 297-308 [doi]
- Imperative self-adjusting computationUmut A. Acar, Amal Ahmed, Matthias Blume. 309-322 [doi]
- Cryptographically sound implementations for typed information-flow securityCédric Fournet, Tamara Rezk. 323-335 [doi]
- On the computational soundness of cryptographically masked flowsPeeter Laud. 337-348 [doi]
- Extensible encoding of type hierarchiesHamed Seiied Alavi, Seth Gilbert, Rachid Guerraoui. 349-358 [doi]
- Focusing and higher-order abstract syntaxNoam Zeilberger. 359-369 [doi]
- A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutionsBrigitte Pientka. 371-382 [doi]
- An approach to call-by-name delimited continuationsHugo Herbelin, Silvia Ghilezan. 383-394 [doi]
- The design and implementation of typed schemeSam Tobin-Hochstadt, Matthias Felleisen. 395-406 [doi]
- Boomerang: resourceful lenses for string dataAaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt. 407-419 [doi]
- From dirt to shovels: fully automatic tool generation from ad hoc dataKathleen Fisher, David Walker, Kenny Qili Zhu, Peter White. 421-434 [doi]