default search action
PEPM 2008: San Francisco, California, USA
- Robert Glück, Oege de Moor:
Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008. ACM 2008, ISBN 978-1-59593-977-7 - Rastislav Bodík:
Software synthesis with sketching. 1-2 - Monica S. Lam, Michael C. Martin, V. Benjamin Livshits, John Whaley:
Securing web applications with static and dynamic information flow tracking. 3-12
Program transformation and derivation
- Janis Voigtländer
:
Proving correctness via free theorems: the case of the destroy/build-rule. 13-20 - Torben Æ. Mogensen:
Semi-inversion of functional parameters. 21-29 - Shin-Cheng Mu
Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths. 31-39
Verification and synthesis
- Jennifer Gillenwater, Gregory Malecha
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. 41-50 - Nik Sultana, Simon J. Thompson
Mechanical verification of refactorings. 51-60 - Pawel Pietrzak, Jesús Correas
A practical type analysis for verification of modular prolog programs. 61-70
Program optimization
- Stephen A. Edwards, Jia Zeng:
Static elaboration of recursion for concurrent software. 71-80 - Jakob Puchinger
Automating branch-and-bound for dynamic programs. 81-89 - Ando Saabas, Tarmo Uustalu
Proof optimization for partial redundancy elimination. 91-101
Parsing
- Alessandro Warth, James R. Douglass, Todd D. Millstein:
Packrat parsers can support left recursion. 103-110 - Nic Volanschi, Christian Rinderknecht:
Unparsed patterns: easy user-extensibility of program manipulation tools. 111-121 - Jan Jancura, Daniel Prusa
Generic framework for integration of programming languages into netbeans ide. 123-124
Program manipulation and staging
- Isabella Mastroeni
Data dependencies and program slicing: from syntax to abstract semantics. 125-134 - Simplice Djoko Djoko, Rémi Douence, Pascal Fradet:
Aspects preserving properties. 135-145 - Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Closing the stage: from staged code to typed closures. 147-157
Partial evaluation
- Ping Zhu, Siau-Cheng Khoo:
Specialization for applications using shared libraries. 159-168 - Boris Feigin, Alan Mycroft
Jones optimality and hardware virtualization: a report on work in progress. 169-175 - Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin:
A practical and precise inference and specializer for array bound checks elimination. 177-187
Functional programming languages
- Jurriaan Hage, Stefan Holdermans:
Heap recycling for lazy languages. 189-197 - Huiqing Li, Simon J. Thompson
Tool support for refactoring functional programs. 199-203
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 2024-12-15 01:14 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: