Publication has no abstract
- Self-adjusting computation: (an overview)Umut A. Acar. 1-6 [doi]
- Program analysis for bug detection using parfait: invited talkCristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz. 7-8 [doi]
- Linear logical approximationsRobert J. Simmons, Frank Pfenning. 9-20 [doi]
- Guided model checking for programs with polymorphismNeha Rungta, Eric G. Mercer. 21-30 [doi]
- Program interpolationAndrew Moss, Dan Page. 31-40 [doi]
- Translation and optimization for a core calculus with exceptionsCristina David, Cristian Gherghina, Wei-Ngan Chin. 41-50 [doi]
- Is there a fourth Futamura projection?Robert Glück. 51-60 [doi]
- Type-based specialization of xml transformationsKazutaka Matsuda, Zhenjiang Hu, Masato Takeichi. 61-72 [doi]
- Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networksLeon Evers, Jan Kuper. 73-80 [doi]
- Shortcut fusion rules for the derivation of circular and higher-order monadic programsAlberto Pardo, João Paulo Fernandes, João Saraiva. 81-90 [doi]
- A flexible framework for programming with non-deterministicfunctionsFrancisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. 91-100 [doi]
- Program transformation for numerical precisionMatthieu Martel. 101-110 [doi]
- Shifting the stage: staging with delimited controlYukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan. 111-120 [doi]
- Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptionsCherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O Leary. 121-130 [doi]
- Improving type error messages for generic javaNabil El Boustani, Jurriaan Hage. 131-140 [doi]
- Bidirectional data-flow analyses, type-systematicallyMaria João Frade, Ando Saabas, Tarmo Uustalu. 141-150 [doi]
- CCCP: complete calling context profiling in virtual execution environmentsPhilippe Moret, Walter Binder, Alex Villazón. 151-160 [doi]
- CProf: customizable calling context cross-profiling for embedded java processorsPhilippe Moret, Walter Binder, Alex Villazón. 161-164 [doi]
- SOC: a slicer for CSP specificationsMichael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit. 165-168 [doi]
- Clone detection and removal for Erlang/OTP within a refactoring environmentHuiqing Li, Simon Thompson. 169-178 [doi]
- From spreadsheets to relational databases and backJácome Cunha, João Saraiva, Joost Visser. 179-188 [doi]
- Designing aspects for side-effect localizationKung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo. 189-198 [doi]