default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPPDP 2007: Wroclaw, Poland
- Michael Leuschel, Andreas Podelski:
Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland. ACM 2007, ISBN 978-1-59593-769-8
Session 1
- Nick Benton, Uri Zarfaty:
Formalizing and verifying semantic type soundness of a simple compiler. 1-12 - William C. Benton
, Charles N. Fischer:
Interactive, scalable, declarative program analysis: from prototype to implementation. 13-24 - Leslie De Koninck, Tom Schrijvers, Bart Demoen:
User-definable rule priorities for CHR. 25-36
Session 2
- Konstantinos Sagonas:
Detecting defects in Erlang programs using static analysis. 37 - Salvador Lucas:
Practical use of polynomials over the reals in proofs of termination. 39-50 - Christian Skalka:
Type safe dynamic linking for JVM access control. 51-62
Session 3
- Sebastian Fischer, Herbert Kuchen:
Systematic generation of glass-box test cases for functional logic programs. 63-74 - James Cheney, Alberto Momigliano:
Mechanized metatheory model-checking. 75-86 - Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann:
Relational semantics for effect-based program transformations with dynamic allocation. 87-96 - Makoto Hamana:
Higher-order semantic labelling for inductive datatype systems. 97-108
Session 4
- Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero:
Observing intermediate structures in a parallel lazy functional language. 109-120 - Sergio Antoy, Bernd Braßel:
Computing with subspaces. 121-130
Session 5
- Musab AlTurki, José Meseguer:
Real-time rewriting semantics of orc. 131-142 - Brad Lushman, Gordon V. Cormack:
A larger decidable semiunification problem. 143-152
Session 6
- Josh Berdine:
Local reasoning about storable locks. 153 - Michael Hanus:
Putting declarative programming into the web: translating curry to javascript. 155-166 - Isabelle Gnaedig:
Induction for positive almost sure termination. 167-178
Session 7
- Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo:
Unfolding in CHR. 179-186 - Chongbing Liu, Enrico Pontelli:
Nonmonotonic inductive logic programming by instance patterns. 187-196 - Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
A simple rewrite notion for call-time choice semantics. 197-208
Session 8
- Witold Charatonik:
Regular directional types for logic programs. 209 - Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu:
Efficient trust management policy analysis from rules. 211-220 - Roberto M. Amadio, Frédéric Dabrowski:
Feasible reactivity in a synchronous Pi-calculus. 221-230
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-08-02 00:59 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
