Abstract is missing.
- Software synthesis with sketchingRastislav Bodík. 1-2 [doi]
- Securing web applications with static and dynamic information flow trackingMonica S. Lam, Michael Martin, V. Benjamin Livshits, John Whaley. 3-12 [doi]
- Proving correctness via free theorems: The case of the destroy/build-ruleJanis Voigtländer. 13-20 [doi]
- Semi-inversion of functional parametersTorben Æ. Mogensen. 21-29 [doi]
- Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengthsShin-Cheng Mu. 31-39 [doi]
- Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizabilityJennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O Leary. 41-50 [doi]
- Mechanical verification of refactoringsNik Sultana, Simon J. Thompson. 51-60 [doi]
- A practical type analysis for verification of modular prolog programsPawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo. 61-70 [doi]
- Static elaboration of recursion for concurrent softwareStephen A. Edwards, Jia Zeng. 71-80 [doi]
- Automating branch-and-bound for dynamic programsJakob Puchinger, Peter J. Stuckey. 81-89 [doi]
- Proof optimization for partial redundancy eliminationAndo Saabas, Tarmo Uustalu. 91-101 [doi]
- Packrat parsers can support left recursionAlessandro Warth, James R. Douglass, Todd D. Millstein. 103-110 [doi]
- Unparsed patterns: easy user-extensibility of program manipulation toolsNic Volanschi, Christian Rinderknecht. 111-121 [doi]
- Generic framework for integration of programming languages into netbeans ideJan Jancura, Daniel Prusa. 123-124 [doi]
- Data dependencies and program slicing: from syntax to abstract semanticsIsabella Mastroeni, Damiano Zanardini. 125-134 [doi]
- Aspects preserving propertiesSimplice Djoko Djoko, Rémi Douence, Pascal Fradet. 135-145 [doi]
- Closing the stage: from staged code to typed closuresYukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan. 147-157 [doi]
- Specialization for applications using shared librariesPing Zhu, Siau-Cheng Khoo. 159-168 [doi]
- Jones optimality and hardware virtualization: a report on work in progressBoris Feigin, Alan Mycroft. 169-175 [doi]
- A practical and precise inference and specializer for array bound checks eliminationCorneliu Popeea, Dana N. Xu, Wei-Ngan Chin. 177-187 [doi]
- Heap recycling for lazy languagesJurriaan Hage, Stefan Holdermans. 189-197 [doi]
- Tool support for refactoring functional programsHuiqing Li, Simon J. Thompson. 199-203 [doi]