Shriram Krishnamurthi, C. R. Ramakrishnan
Proceedings of the Fourth International Symposium on Practical Aspects of Declarative Languages
PADL, 2002.

@proceedings{PADL-2002,
	address       = "Portland, Oregon, USA",
	editor        = "Shriram Krishnamurthi and C. R. Ramakrishnan",
	isbn          = "3-540-43092-X",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 2257,
	year          = 2002,
}

Contents (21 items)

4 ×#logic programming
3 ×#compilation
3 ×#declarative
3 ×#source code
2 ×#analysis
2 ×#functional
2 ×#modelling
2 ×#programming

PADL-2002-Meadows #analysis #declarative #using

Using a Declarative Language to Build an Experimental Analysis Tool (CM), pp. 1–2.

PADL-2002-Dahl #how

How to Talk to Your Computer so that It Will Listen (VD), pp. 3–8.

PADL-2002-BoyerM #thread

Single-Threaded Objects in ACL2 (RSB, JSM), pp. 9–27.

PADL-2002-JayaramanT #modelling

Modeling Engineering Structures with Constrained Objects (BJ, PT), pp. 28–46.

PADL-2002-Liang #compilation #higher-order #logic programming

Compiler Construction in Higher Order Logic Programming (CL), pp. 47–63.

PADL-2002-Torgersson #declarative #programming

Declarative Programming and Clinical Medicine (OT), pp. 64–81.

PADL-2002-GuptaGKPIRMDENZ #logic programming #question #semantics

Semantics-Based Filtering: Logic Programming’s Killer App? (GG, HFG, AIK, EP, JRI, DR, BM, ND, OEK, MN, XZ), pp. 82–100.

PADL-2002-JohanssonS #compilation #erlang #linear

Linear Scan Register Allocation in a High-Performance Erlang Compiler (EJ, KFS), pp. 101–119.

PADL-2002-Rhiger #compilation #embedded #source code

Compiling Embedded Programs to Byte Code (MR), pp. 120–136.

PADL-2002-LammelV #combinator #traversal

Typed Combinators for Generic Traversal (RL, JV), pp. 137–154.

PADL-2002-WanTH

Event-Driven FRP (ZW, WT, PH), pp. 155–172.

PADL-2002-ErwigB

Adding Apples and Oranges (ME, MMB), pp. 173–191.

PADL-2002-Thiemann #composition #named #web

WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms (PT), pp. 192–208.

PADL-2002-Kiselyov #functional #parsing #programming #xml

A Better XML Parser through Functional Programming (OK), pp. 209–224.

PADL-2002-Karczmarczuk #approach #functional #generative

Functional Approach to Texture Generation (JK), pp. 225–242.

PADL-2002-GallagherP #abstract interpretation #analysis #automaton #finite #logic programming #nondeterminism #source code

Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs (JPG, GP), pp. 243–261.

PADL-2002-ShenSNS #eclipse #interface #programming language

A High-Level Generic Interface to External Programming Languages for ECLiPSe (KS, JS, SN, JS), pp. 262–279.

PADL-2002-BunusF #debugging #declarative #equation #modelling

A Debugging Scheme for Declarative Equation Based Modeling Languages (PB, PF), pp. 280–298.

PADL-2002-VandeginsteSD #garbage collection #order #prolog

Segment Order Preserving and Generational Garbage Collection for Prolog (RV, KFS, BD), pp. 299–317.

PADL-2002-YangG #data type #logic programming #performance #source code

Exploiting Efficient Control and Data Structures in Logic Programs (RY, SG), pp. 318–331.

PADL-2002-CastroSW #evaluation

Suspending and Resuming Computations in Engines for SLG Evaluation (LFC, TS, DSW), pp. 332–350.