Gopal Gupta
Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
PADL, 1999.

@proceedings{PADL-1999,
	address       = "San Antonio, Texas, USA",
	editor        = "Gopal Gupta",
	isbn          = "3-540-65527-1",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the First International Workshop on Practical Aspects of Declarative Languages}",
	volume        = 1551,
	year          = 1999,
}

Contents (26 items)

5 ×#logic programming
5 ×#named
4 ×#declarative
3 ×#constraints
3 ×#functional
3 ×#specification
2 ×#automation
2 ×#haskell
2 ×#implementation
2 ×#multi

PADL-1999-MossR #automation #benchmark #data type #functional #metric

Automated Benchmarking of Functional Data Structures (GEM, CR), pp. 1–15.

PADL-1999-CadoliPSV #execution #named #problem #specification

NP-SPEC: An Executable Specification Language for Solving All Problems in NP (MC, LP, AS, DV), pp. 16–30.

PADL-1999-LetelierSR #automation #concurrent #logic programming #prototype #requirements #specification

Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program (PL, PS, IR), pp. 31–45.

PADL-1999-BozzanoDMMZ #development #enterprise #multi #re-engineering

Multi-agent Systems Development as a Software Engineering Enterprise (MB, GD, MM, VM, FZ), pp. 46–60.

PADL-1999-Elliott #animation #functional

From Functional Animation to Sprite-Based Display (CE), pp. 61–75.

PADL-1999-Kahl #combinator #concept #documentation #pretty-printing

Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators (WK), pp. 76–90.

PADL-1999-PetersonHE #haskell

λ in Motion: Controlling Robots with Haskell (JP, PH, CE), pp. 91–105.

PADL-1999-DemoenS #approach #chat #named

CHAT: The Copy-Hybrid Approach to Tabling (BD, KFS), pp. 106–121.

PADL-1999-SilvaDBC #architecture #logic programming #parallel #parametricity #performance

The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems (MGS, IdCD, RB, VSC), pp. 122–136.

PADL-1999-RochaSC

Or-Parallelism within Tabling (RR, FMAS, VSC), pp. 137–151.

PADL-1999-MattssonNW #distributed #named #robust

Mnesia — A Distributed Robust DBMS for Telecommunications Applications (HM, HN, CW), pp. 152–163.

PADL-1999-SiddabathuniDU #deduction #object-oriented

An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language (BS, SWD, SDU), pp. 164–178.

PADL-1999-HakliNTU #declarative #implementation #query #string

Implementing a Declarative String Query Language with String Restructuring (RH, MN, HT, EU), pp. 179–195.

PADL-1999-MeijerLH #haskell #web

Client-Side Web Scripting with HaskellScript (EM, DL, JH), pp. 196–210.

PADL-1999-JefferyDS #corba #named

MCORBA: A CORBA Binding for Mercury (DJ, TD, ZS), pp. 211–227.

PADL-1999-Xi #dependent type

Dead Code Elimination through Dependent Types (HX), pp. 228–242.

PADL-1999-FerreiraD #multi

Multiple Specialization of WAM Code (MF, LD), pp. 243–258.

PADL-1999-Vasconcelos #flexibility #framework #logic programming #slicing #source code

A Flexible Framework for Dynamic and Static Slicing of Logic Programs (WWV), pp. 259–274.

PADL-1999-BansalB #functional #logic programming #novel

Applying Logic Programming to Derive Novel Functional Information of Genomes (AKB, PB), pp. 275–289.

PADL-1999-Watson

An Application of Action Theory to the Space Shuttle (RW), pp. 290–304.

PADL-1999-SoininenN #declarative

Developing a Declarative Rule Language for Applications in Product Configuration (TS, IN), pp. 305–319.

PADL-1999-GoltzM #constraints #logic programming #using

University Timetabling Using Constraint Logic Programming (HJG, DM), pp. 320–334.

PADL-1999-CarlssonKA #constraints #resource management #scheduling

Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing (MC, PK, EÅ), pp. 335–349.

PADL-1999-Lai #constraints #debugging #proving #using

Using Constraints in Local Proofs for CLP Debugging (CL), pp. 350–359.

PADL-1999-Schmidt #declarative #design

A Return to Elegance: The Reapplication of Declarative Notation to Software Design (DAS), pp. 360–364.

PADL-1999-WallaceS #declarative #eclipse #implementation #named #specification

ECLiPSe: Declarative Specification and Scaleable Implementation (MW, JS), pp. 365–366.