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

Michael Hanus
Proceedings of the Ninth International Symposium on Practical Aspects of Declarative Languages
PADL, 2007.

PLT
DBLP
Scholar
Full names Links ISxN
@proceedings{PADL-2007,
	address       = "Nice, France",
	editor        = "Michael Hanus",
	isbn          = "978-3-540-69608-7",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Ninth International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 4354,
	year          = 2007,
}

Contents (21 items)

PADL-2007-Hughes #quickcheck #testing
QuickCheck Testing for Fun and Profit (JH), pp. 1–32.
PADL-2007-BarahonaK #approach #constraints #problem #programming
A Constraint Programming Approach to Bioinformatics Structural Problems (PB, LK), pp. 33–49.
PADL-2007-CouttsSL #haskell #string
Rewriting Haskell Strings (DC, DS, RL), pp. 50–64.
PADL-2007-MorimotoTI #performance
Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning (TM, YT, HI), pp. 65–79.
PADL-2007-FisselerKBKM #algebra #haskell #information management #using
Algebraic Knowledge Discovery Using Haskell (JF, GKI, CB, AK, CM), pp. 80–93.
PADL-2007-GustafssonS #erlang #evaluation #implementation #performance #programming
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang (PG, KFS), pp. 94–108.
PADL-2007-EichbergKSMO #analysis #automation #prolog
Automatic Incrementalization of Prolog Based Static Analyses (ME, MK, DS, MM, KO), pp. 109–123.
PADL-2007-AlbertGHP #analysis #bytecode #java #logic programming #source code #using #verification
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs (EA, MGZ, LH, GP), pp. 124–139.
PADL-2007-MeraLPCH #execution #profiling #static analysis
Combining Static Analysis and Profiling for Estimating Execution Times (EM, PLG, GP, MC, MVH), pp. 140–154.
PADL-2007-Rocha #evaluation #on the #performance #robust
On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation (RR), pp. 155–169.
PADL-2007-Sarna-StarostaR #compilation #constraints #evaluation #performance
Compiling Constraint Handling Rules for Efficient Tabled Evaluation (BSS, CRR), pp. 170–184.
PADL-2007-Costa #dataset #performance #prolog
Prolog Performance on Larger Datasets (VSC), pp. 185–199.
PADL-2007-Bond #declarative #modelling
BAD, a Declarative Logic-Based Language for Brain Modeling (AHB), pp. 200–214.
PADL-2007-RafehBMW #design
From Zinc to Design Model (RR, MJGdlB, KM, MW), pp. 215–229.
PADL-2007-LiuP #induction #logic programming
Inductive Logic Programming by Instance Patterns (CL, EP), pp. 230–244.
PADL-2007-PodelskiR #abstraction #logic #model checking #named #refinement
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement (AP, AR), pp. 245–259.
PADL-2007-Russo #concurrent #library
The Joins Concurrency Library (CVR), pp. 260–274.
PADL-2007-HuangHP #named #parallel #process #using
HPorter: Using Arrows to Compose Parallel Processes (LH, PH, JP), pp. 275–289.
PADL-2007-BerdaguerCPV #sql #xml
Coupled Schema Transformation and Data Conversion for XML and SQL (PB, AC, HP, JV), pp. 290–304.
PADL-2007-Liang #aspect-oriented #higher-order #linear #logic #programming
Aspect-Oriented Programming in Higher-Order and Linear Logic (CCL), pp. 305–319.
PADL-2007-KloseOL #partial evaluation
Partial Evaluation of Pointcuts (KK, KO, ML), pp. 320–334.

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.