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

@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)

5 ×#performance
3 ×#evaluation
3 ×#programming
3 ×#using
2 ×#analysis
2 ×#constraints
2 ×#haskell
2 ×#logic
2 ×#logic programming
2 ×#named

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.