Temur Kutsia, Wolfgang Schreiner, Maribel Fernández
Proceedings of the 12th International Conference on Principles and Practice of Declarative Programming
PPDP, 2010.

@proceedings{PPDP-2010,
	address       = "Hagenberg, Austria",
	editor        = "Temur Kutsia and Wolfgang Schreiner and Maribel Fernández",
	isbn          = "978-1-4503-0132-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 12th International Conference on Principles and Practice of Declarative Programming}",
	year          = 2010,
}

Contents (23 items)

3 ×#datalog
3 ×#declarative
3 ×#logic
2 ×#approach
2 ×#linear
2 ×#query
2 ×#virtual machine

PPDP-2010-Bonacina #on the #proving #theorem proving

On theorem proving for program checking: historical perspective and recent developments (MPB), pp. 1–12.

PPDP-2010-Gulwani #synthesis

Dimensions in program synthesis (SG), pp. 13–24.

PPDP-2010-TekleGL #datalog #graph #optimisation #query

Graph queries through datalog optimizations (KTT, MG, YAL), pp. 25–34.

PPDP-2010-TekleL #analysis #complexity #datalog #performance #precise #query

Precise complexity analysis for efficient datalog queries (KTT, YAL), pp. 35–44.

PPDP-2010-LiangK #datalog #statistics

Deriving predicate statistics in datalog (SL, MK), pp. 45–56.

PPDP-2010-Martinez #concurrent #constraints #linear #programming #semantics

Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules (TM), pp. 57–66.

PPDP-2010-BofillBV #approach #declarative #robust #satisfiability

A declarative approach to robust weighted Max-SAT (MB, DB, MV), pp. 67–76.

PPDP-2010-KameyamaT #axiom #call-by #equation

Equational axiomatization of call-by-name delimited control (YK, AT), pp. 77–86.

PPDP-2010-AsaiK #continuation #functional #virtual machine

Functional derivation of a virtual machine for delimited continuations (KA, AK), pp. 87–98.

PPDP-2010-BolzLS #execution #prolog #towards #virtual machine

Towards a jitting VM for prolog execution (CFB, ML, DS), pp. 99–108.

PPDP-2010-Serrano #compilation #css #named

HSS: a compiler for cascading style sheets (MS), pp. 109–118.

PPDP-2010-JacquemardR #verification #xml

Rewrite-based verification of XML updates (FJ, MR), pp. 119–130.

PPDP-2010-Tarau #declarative #finite #modelling

Declarative modeling of finite mathematics (PT), pp. 131–142.

PPDP-2010-Jeltsch #combinator #static typing #type checking

Generic record combinators with static type checking (WJ), pp. 143–154.

PPDP-2010-Barbanerad #behaviour

Two notions of sub-behaviour for session-based client/server systems (FB, Ud), pp. 155–164.

PPDP-2010-DowekG #logic

Permissive-nominal logic (GD, MJG), pp. 165–176.

PPDP-2010-Gacek #higher-order #specification #syntax

Relating nominal and higher-order abstract syntax specifications (AG), pp. 177–186.

PPDP-2010-SnowBN #approach #logic programming #metaprogramming

A meta-programming approach to realizing dependently typed logic programming (ZS, DB, GN), pp. 187–198.

PPDP-2010-FodorK #logic #transaction

Tabling for transaction logic (PF, MK), pp. 199–208.

PPDP-2010-DemeyerALV #declarative #flexibility #process #workflow

Declarative workflows to efficiently manage flexible and advanced business processes (RD, MVA, LL, WV), pp. 209–218.

PPDP-2010-BaillotH #linear #logic #type inference

Type inference in intuitionistic linear logic (PB, MH), pp. 219–230.

PPDP-2010-Balabonski

Optimality for dynamic patterns (TB), pp. 231–242.

PPDP-2010-BrabrandT #ambiguity #pattern matching #regular expression #string #using

Typed and unambiguous pattern matching on strings using regular expressions (CB, JGT), pp. 243–254.