Proceedings of the First International Workshop 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

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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, ), 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.

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.