4. PADL 2002: Portland, OR, USA

@proceedings{DBLP:conf/padl/2002,
  editor    = {Shriram Krishnamurthi and
               C. R. Ramakrishnan},
  title     = {Practical Aspects of Declarative Languages, 4th International
               Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002,
               Proceedings},
  booktitle = {PADL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2257},
  year      = {2002},
  isbn      = {3-540-43092-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

• Catherine Meadows:
  Using a Declarative Language to Build an Experimental Analysis Tool. 1-2
  Electronic Edition (Springer LINK) BibTeX
• Verónica Dahl:
  How to Talk to Your Computer so that It Will Listen. 3-8
  Electronic Edition (Springer LINK) BibTeX
• Robert S. Boyer, J. Strother Moore:
  Single-Threaded Objects in ACL2. 9-27
  Electronic Edition (Springer LINK) BibTeX

Regular Papers

• Bharat Jayaraman, Pallavi Tambay:
  Modeling Engineering Structures with Constrained Objects. 28-46
  Electronic Edition (Springer LINK) BibTeX
• Chuck Liang:
  Compiler Construction in Higher Order Logic Programming. 47-63
  Electronic Edition (Springer LINK) BibTeX
• Olof Torgersson:
  Declarative Programming and Clinical Medicine. 64-81
  Electronic Edition (Springer LINK) BibTeX
• Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Brook Milligan, Nayana Datta, Omar El-Khatib, Mohammed Noamany, Xinhong Zhou:
  Semantics-Based Filtering: Logic Programming's Killer App? 82-100
  Electronic Edition (Springer LINK) BibTeX
• Erik Johansson, Konstantinos F. Sagonas:
  Linear Scan Register Allocation in a High-Performance Erlang Compiler. 101-119
  Electronic Edition (Springer LINK) BibTeX
• Morten Rhiger:
  Compiling Embedded Programs to Byte Code. 120-136
  Electronic Edition (Springer LINK) BibTeX
• Ralf Lämmel, Joost Visser:
  Typed Combinators for Generic Traversal. 137-154
  Electronic Edition (Springer LINK) BibTeX
• Zhanyong Wan, Walid Taha, Paul Hudak:
  Event-Driven FRP. 155-172
  Electronic Edition (Springer LINK) BibTeX
• Martin Erwig, Margaret M. Burnett:
  Adding Apples and Oranges. 173-191
  Electronic Edition (Springer LINK) BibTeX
• Peter Thiemann:
  WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms. 192-208
  Electronic Edition (Springer LINK) BibTeX
• Oleg Kiselyov:
  A Better XML Parser through Functional Programming. 209-224
  Electronic Edition (Springer LINK) BibTeX
• Jerzy Karczmarczuk:
  Functional Approach to Texture Generation. 225-242
  Electronic Edition (Springer LINK) BibTeX
• John P. Gallagher, Germán Puebla:
  Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. 243-261
  Electronic Edition (Springer LINK) BibTeX
• Kish Shen, Joachim Schimpf, Stefano Novello, Josh Singer:
  A High-Level Generic Interface to External Programming Languages for ECLiPSe. 262-279
  Electronic Edition (Springer LINK) BibTeX
• Peter Bunus, Peter Fritzson:
  A Debugging Scheme for Declarative Equation Based Modeling Languages. 280-298
  Electronic Edition (Springer LINK) BibTeX
• Ruben Vandeginste, Konstantinos F. Sagonas, Bart Demoen:
  Segment Order Preserving and Generational Garbage Collection for Prolog. 299-317
  Electronic Edition (Springer LINK) BibTeX
• Rong Yang, Steve Gregory:
  Exploiting Efficient Control and Data Structures in Logic Programs. 318-331
  Electronic Edition (Springer LINK) BibTeX
• Luís Fernando Castro, Terrance Swift, David Scott Warren:
  Suspending and Resuming Computations in Engines for SLG Evaluation. 332-350
  Electronic Edition (Springer LINK) BibTeX