Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages
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

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

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

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.

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.