Proceedings of the 12th International Conference on Principles and Practice of Declarative Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.