Proceedings of the Eighth 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

Annalisa Bossi, Michael J. Maher
Proceedings of the Eighth International Conference on Principles and Practice of Declarative Programming
PPDP, 2006.

PLT
DBLP
Scholar
Full names Links ISxN
@proceedings{PPDP-2006,
	address       = "Venice, Italy",
	editor        = "Annalisa Bossi and Michael J. Maher",
	isbn          = "1-59593-388-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Eighth International Conference on Principles and Practice of Declarative Programming}",
	year          = 2006,
}

Contents (24 items)

PPDP-2006-BundgaardS #graph #π-calculus
Typed polyadic π-calculus in bigraphs (MB, VS), pp. 1–12.
PPDP-2006-Fruhwirth #constraints
Constraint handling rules: the story so far (TWF), pp. 13–14.
PPDP-2006-RooverBD #behaviour #fuzzy #logic #similarity #strict #validation
Combining fuzzy logic and behavioral similarity for non-strict program validation (CDR, JB, TD), pp. 15–26.
PPDP-2006-Hanus #type system #user interface #web
Type-oriented construction of web user interfaces (MH), pp. 27–38.
PPDP-2006-AlbertiGLCMM #abduction #framework #verification #web #web service
An abductive framework for a-priori verification of web services (MA, MG, EL, FC, PM, MM), pp. 39–50.
PPDP-2006-ColazzoS #algorithm #performance #xml
An efficient algorithm for XML type projection (DC, CS), pp. 51–60.
PPDP-2006-GarraldaCD #named
BASS: boxed ambients with safe sessions (PG, ABC, MDC), pp. 61–72.
PPDP-2006-AbrahamE #spreadsheet #type inference
Type inference for spreadsheets (RA, ME), pp. 73–84.
PPDP-2006-SchrijversB #algebra #data type #polymorphism #re-engineering
Polymorphic algebraic data type reconstruction (TS, MB), pp. 85–96.
PPDP-2006-Sulzmann #proving #source code
Extracting programs from type class proofs (MS), pp. 97–108.
PPDP-2006-CaferraEP
Rewriting term-graphs with priority (RC, RE, NP), pp. 109–120.
PPDP-2006-GnaedigK #source code
Computing constructor forms with non terminating rewrite programs (IG, HK), pp. 121–132.
PPDP-2006-LohH #data type #open data
Open data types and open functions (AL, RH), pp. 133–144.
PPDP-2006-FernandezF #calculus #functional #object-oriented
A historic functional and object-oriented calculus (MF, FF), pp. 145–156.
PPDP-2006-SilvaC #algorithm #debugging #slicing
Combining algorithmic debugging and program slicing (JS, OC), pp. 157–166.
PPDP-2006-LindahlS #type inference
Practical type inference based on success typings (TL, KFS), pp. 167–178.
PPDP-2006-Miller #analysis #horn clause #source code
Collection analysis for Horn clause programs (DM), pp. 179–188.
PPDP-2006-GabbayM #logic
One-and-a-halfth-order logic (MG, AM), pp. 189–200.
PPDP-2006-YuseI #generative #multi #persistent #type system
A modal type system for multi-level generating extensions with persistent code (YY, AI), pp. 201–212.
PPDP-2006-GorlaHS #trust
Inferring dynamic credentials for rôle-based trust management (DG, MH, VS), pp. 213–224.
PPDP-2006-Volanschi #compilation #confluence #named
Condate: a proto-language at the confluence between checking and compiling (ENV), pp. 225–236.
PPDP-2006-NguyenO #compilation #layout #ml #morphism #polymorphism
Compiling ML polymorphism with explicit layout bitmap (HDN, AO), pp. 237–248.
PPDP-2006-MatsunoO #type system
A type system equivalent to static single assignment (YM, AO), pp. 249–260.
PPDP-2006-PueblaO #partial evaluation
Poly-controlled partial evaluation (GP, CO), pp. 261–271.

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.