4. PADL 2002: Portland, OR, USA

Shriram Krishnamurthi, C. R. Ramakrishnan (Eds.): Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings. Lecture Notes in Computer Science 2257 Springer 2002, ISBN 3-540-43092-X

@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
Verónica Dahl:
How to Talk to Your Computer so that It Will Listen. 3-8
Robert S. Boyer, J. Strother Moore:
Single-Threaded Objects in ACL2. 9-27

Regular Papers

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

Last update Thu May 24 04:39:28 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page