Paul Hudak, David Scott Warren
Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages
PADL, 2008.

@proceedings{PADL-2008,
	address       = "San Francisco, California, USA",
	editor        = "Paul Hudak and David Scott Warren",
	isbn          = "978-3-540-77441-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 4902,
	year          = 2008,
}

Contents (21 items)

4 ×#programming
3 ×#implementation
2 ×#constraints
2 ×#declarative
2 ×#logic programming
2 ×#ml
2 ×#parsing
2 ×#reasoning
2 ×#tool support

PADL-2008-Launchbury #functional #industrial #programming

Industrial Functional Programming (JL), p. 1.

PADL-2008-PaganoACCCMW #development #implementation #ml #tool support

Certified Development Tools Implementation in Objective Caml (BP, OA, BC, EC, JLC, TM, PW), pp. 2–17.

PADL-2008-Marpons-UceroMCHMF #automation #consistency #logic programming #using

Automatic Coding Rule Conformance Checking Using Logic Programming (GMU, JMC, MC, ÁHN, JJMN, LÅF), pp. 18–34.

PADL-2008-EshkevariAC #analysis #aspect-oriented #comprehension #declarative #dependence #reasoning #source code

Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning (LME, VA, CC), pp. 35–52.

PADL-2008-Subbarayan #constraints #performance #reasoning #theorem proving

Efficient Reasoning for Nogoods in Constraint Solvers with BDDs (SS), pp. 53–67.

PADL-2008-BrandDPS #constraints #flexibility #rule-based

Flexible, Rule-Based Constraint Model Linearisation (SB, GJD, JP, PJS), pp. 68–83.

PADL-2008-BeckerN #abduction #declarative #policy

The Role of Abduction in Declarative Authorization Policies (MYB, SN), pp. 84–99.

PADL-2008-CoxN #array #logic programming #spreadsheet #unification

Unification of Arrays in Spreadsheets with Logic Programming (PTC, PKN), pp. 100–115.

PADL-2008-KellerCCSB #generative #monte carlo

Specialising Simulator Generators for High-Performance Monte-Carlo Methods (GK, HCM, MMTC, DS, CBK), pp. 116–132.

PADL-2008-FernandezFFGM #developer #ml #programming #tool support

A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers (MFF, KF, JNF, MG, YM), pp. 133–149.

PADL-2008-HirzelNBV #named #pattern matching

Matchete: Paths through the Pattern Matching Jungle (MH, NN, BB, JV), pp. 150–166.

PADL-2008-FrostHC #ambiguity #combinator #parsing #recursion

Parser Combinators for Ambiguous Left-Recursive Grammars (RAF, RH, PC), pp. 167–181.

PADL-2008-BecketS #definite clause grammar #parsing #question

DCGs + Memoing = Packrat Parsing but Is It Worth It? (RB, ZS), pp. 182–196.

PADL-2008-GuzmanCHSR #continuation #implementation

An Improved Continuation Call-Based Implementation of Tabling (PCdG, MC, MVH, CS, RR), pp. 197–213.

PADL-2008-BertholdZL #parallel #scheduling

Scheduling Light-Weight Parallelism in ArTCoP (JB, AAZ, HWL), pp. 214–229.

PADL-2008-CasasCH #execution #implementation #independence #strict #towards

Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism (AC, MC, MVH), pp. 230–247.

PADL-2008-BertholdDLP

Hierarchical Master-Worker Skeletons (JB, MD, RL, SP), pp. 248–264.

PADL-2008-MouraCN #multi #programming #thread

High-Level Multi-threading Programming in Logtalk (PM, PC, PN), pp. 265–281.

PADL-2008-GiorgidzeN

Switched-On Yampa (GG, HN), pp. 282–298.

PADL-2008-KoopmanAP #modelling #navigation #testing #web

Model-Based Testing of Thin-Client Web Applications and Navigation Input (PWMK, PA, RP), pp. 299–315.

PADL-2008-BrasselHM #database #programming

High-Level Database Programming in Curry (BB, MH, MM), pp. 316–332.