default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPEPM 2009: Savannah, GA, USA
- Germán Puebla, Germán Vidal:
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009. ACM 2009, ISBN 978-1-60558-327-3 - Umut A. Acar:
Self-adjusting computation: (an overview). 1-6 - Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz:
Program analysis for bug detection using parfait: invited talk. 7-8
Static analysis
- Robert J. Simmons
, Frank Pfenning:
Linear logical approximations. 9-20 - Neha Rungta, Eric G. Mercer:
Guided model checking for programs with polymorphism. 21-30 - Andrew Moss, Dan Page:
Program interpolation. 31-40 - Cristina David, Cristian Gherghina, Wei-Ngan Chin:
Translation and optimization for a core calculus with exceptions. 41-50
Partial evaluation and specialization
- Robert Glück:
Is there a fourth Futamura projection? 51-60 - Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi:
Type-based specialization of xml transformations. 61-72 - Leon Evers, Jan Kuper:
Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks. 73-80
Program transformation I
- Alberto Pardo, João Paulo Fernandes, João Saraiva:
Shortcut fusion rules for the derivation of circular and higher-order monadic programs. 81-90 - Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
A flexible framework for programming with non-deterministicfunctions. 91-100 - Matthieu Martel:
Program transformation for numerical precision. 101-110
Types
- Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Shifting the stage: staging with delimited control. 111-120 - Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary:
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. 121-130 - Nabil El Boustani, Jurriaan Hage:
Improving type error messages for generic java. 131-140 - Maria João Frade, Ando Saabas, Tarmo Uustalu:
Bidirectional data-flow analyses, type-systematically. 141-150
Slicing and profiling
- Philippe Moret, Walter Binder, Alex Villazón:
CCCP: complete calling context profiling in virtual execution environments. 151-160 - Philippe Moret, Walter Binder, Alex Villazón:
CProf: customizable calling context cross-profiling for embedded java processors. 161-164 - Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
SOC: a slicer for CSP specifications. 165-168
Program transformation II
- Huiqing Li, Simon J. Thompson:
Clone detection and removal for Erlang/OTP within a refactoring environment. 169-178 - Jácome Cunha, João Saraiva, Joost Visser:
From spreadsheets to relational databases and back. 179-188 - Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo:
Designing aspects for side-effect localization. 189-198
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-18 01:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
