Michael Leuschel, Andreas Podelski
Proceedings of the Ninth International Conference on Principles and Practice of Declarative Programming
PPDP, 2007.

@proceedings{PPDP-2007,
	address       = "Wroclaw, Poland",
	editor        = "Michael Leuschel and Andreas Podelski",
	isbn          = "978-1-59593-769-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Ninth International Conference on Principles and Practice of Declarative Programming}",
	year          = 2007,
}

Contents (23 items)

5 ×#semantics
3 ×#induction
3 ×#logic programming
3 ×#source code
2 ×#declarative
2 ×#functional
2 ×#termination

PPDP-2007-BentonZ #compilation #formal method #semantics #verification

Formalizing and verifying semantic type soundness of a simple compiler (NB, UZ), pp. 1–12.

PPDP-2007-BentonF #declarative #implementation #interactive #program analysis #prototype #scalability

Interactive, scalable, declarative program analysis: from prototype to implementation (WCB, CNF), pp. 13–24.

PPDP-2007-KoninckSD

User-definable rule priorities for CHR (LDK, TS, BD), pp. 25–36.

PPDP-2007-Sagonas #detection #erlang #fault #source code #static analysis #using

Detecting defects in Erlang programs using static analysis (KFS), p. 37.

PPDP-2007-Lucas #proving #termination #using

Practical use of polynomials over the reals in proofs of termination (SL), pp. 39–50.

PPDP-2007-Skalka #data access #type safety #virtual machine

Type safe dynamic linking for JVM access control (CS), pp. 51–62.

PPDP-2007-FischerK #functional #generative #logic programming #source code #testing

Systematic generation of glass-box test cases for functional logic programs (SF, HK), pp. 63–74.

PPDP-2007-CheneyM #model checking

Mechanized metatheory model-checking (JC, AM), pp. 75–86.

PPDP-2007-BentonKBH #program transformation #relational #semantics

Relational semantics for effect-based program transformations with dynamic allocation (NB, AK, LB, MH), pp. 87–96.

PPDP-2007-Hamana #data type #higher-order #induction #semantics #type system

Higher-order semantic labelling for inductive datatype systems (MH), pp. 97–108.

PPDP-2007-EncinaLRH #functional #lazy evaluation #parallel

Observing intermediate structures in a parallel lazy functional language (AdlE, LL, FR, MHH), pp. 109–120.

PPDP-2007-AntoyB

Computing with subspaces (SA, BB), pp. 121–130.

PPDP-2007-AlTurkiM #realtime #semantics

Real-time rewriting semantics of orc (MA, JM), pp. 131–142.

PPDP-2007-LushmanC #decidability #problem

A larger decidable semiunification problem (BL, GVC), pp. 143–152.

PPDP-2007-Berdine #reasoning

Local reasoning about storable locks (JB), p. 153.

PPDP-2007-Hanus #declarative #javascript #programming #web

Putting declarative programming into the web: translating curry to javascript (MH), pp. 155–166.

PPDP-2007-Gnaedig #induction #termination

Induction for positive almost sure termination (IG), pp. 167–178.

PPDP-2007-TacchellaGM

Unfolding in CHR (PT, MG, MCM), pp. 179–186.

PPDP-2007-LiuP #induction #logic programming

Nonmonotonic inductive logic programming by instance patterns (CL, EP), pp. 187–196.

PPDP-2007-Lopez-FraguasRS #semantics

A simple rewrite notion for call-time choice semantics (FJLF, JRH, JSH), pp. 197–208.

PPDP-2007-Charatonik #logic programming #source code

Regular directional types for logic programs (WC), p. 209.

PPDP-2007-HristovaTL #analysis #performance #policy #trust

Efficient trust management policy analysis from rules (KH, KTT, YAL), pp. 211–220.

PPDP-2007-AmadioD #π-calculus

Feasible reactivity in a synchronous π-calculus (RMA, FD), pp. 221–230.