Enrico Pontelli, Vítor Santos Costa
Proceedings of the Second International Symposium on Practical Aspects of Declarative Languages
PADL, 2000.

@proceedings{PADL-2000,
	address       = "Boston, Massachusetts, USA",
	editor        = "Enrico Pontelli and Vítor Santos Costa",
	isbn          = "3-540-66992-2",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 1753,
	year          = 2000,
}

Contents (23 items)

5 ×#constraints
4 ×#functional
4 ×#logic programming
4 ×#programming
3 ×#approach
3 ×#named
3 ×#visual notation
2 ×#compilation
2 ×#modelling
2 ×#prolog

PADL-2000-Tullsen

First Class Patterns (MT), pp. 1–15.

PADL-2000-PetersonTS #functional #parallel #programming

Parallel Functional Reactive Programming (JP, VT, AS), pp. 16–31.

PADL-2000-ChuangM #functional #programming #type system

Out-of-Core Functional Programming with Type-Based Primitives (TRC, SCM), pp. 32–46.

PADL-2000-Hanus #approach #functional #logic programming #user interface #visual notation

A Functional Logic Programming Approach to Graphical User Interfaces (MH), pp. 47–62.

PADL-2000-MarinoM #functional #logic programming #source code #static analysis #using

Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), pp. 63–80.

PADL-2000-DiazC #c #compilation #prolog

GNU Prolog: Beyond Compiling Prolog to C (DD, PC), pp. 81–92.

PADL-2000-DemoenS #experience #garbage collection

Heap Garbage Collection in XSB: Practice and Experience (BD, KFS), pp. 93–108.

PADL-2000-ZhouSYY #implementation #linear

Implementation of a Linear Tabling Mechanism (NFZ, YDS, LYY, JHY), pp. 109–123.

PADL-2000-Moreno-NavarroM #compilation #how #prolog

How to Incorporate Negation in a Prolog Compiler (JJMN, SMH), pp. 124–140.

PADL-2000-Abreu #information management

A Logic-Based Information System (SA), pp. 141–153.

PADL-2000-HindeRP #declarative #modelling #named #visual notation

HIPPO — A Declarative Graphical Modelling System (CJH, RJR, KP), pp. 154–168.

PADL-2000-HuCT #algorithm #analysis #data mining #mining

Calculating a New Data Mining Algorithm for Market Basket Analysis (ZH, WNC, MT), pp. 169–184.

PADL-2000-ChewHN #constraints #tool support

A Toolkit for Constraint-Based Inference Engines (TYC, MH, KBN), pp. 185–199.

PADL-2000-Hickey #constraints #named #theorem proving

CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving (TJH), pp. 200–214.

PADL-2000-Schulte #combinator #concurrent #constraints #programming

Programming Deep Concurrent Constraint Combinators (CS), pp. 215–229.

PADL-2000-BistarelliCGR #consistency #constraints #programming

Labeling and Partial Local Consistency for Soft Constraint Programming (SB, PC, YG, FR), pp. 230–248.

PADL-2000-KrishnamurthiGG #xml

Transformation-by-Example for XML (SK, KEG, PTG), pp. 249–262.

PADL-2000-Thiemann #haskell #html #modelling

Modeling HTML in Haskell (PT), pp. 263–277.

PADL-2000-Yeh #approach #database #documentation #logic programming #xml

A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database (CLY), pp. 278–292.

PADL-2000-YunesMS #approach #hybrid #problem #scalability #scheduling

A Hybrid Approach for Solving Large Scale Crew Scheduling Problems (THY, AVM, CCdS), pp. 293–307.

PADL-2000-GuptaA #constraints #interface #named #source code #spreadsheet #visual notation

Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs (GG, SFA), pp. 308–323.

PADL-2000-Ramakrishnan #logic programming #roadmap

Current Trends in Logic Programming: Prospects and Promises (IVR), p. 324.

PADL-2000-Lee

Production-Quality Proof-Carrying Code (PL0), p. 325.