Practical Aspects of Declarative Languages

4th International Symposium, PADL 2002 Portland, OR, USA, January 19–20, 2002 Proceedings

Editors:

ISBN: 978-3-540-43092-6 (Print) 978-3-540-45587-5 (Online)

Table of contents (21 chapters)

previous Page of 2
  1. Invited Talks

    1. No Access

      Book Chapter

      Pages 1-2

      Using a Declarative Language to Build an Experimental Analysis Tool

    2. No Access

      Book Chapter

      Pages 3-8

      How to Talk to Your Computer so that It Will Listen

    3. No Access

      Book Chapter

      Pages 9-27

      Single-Threaded Objects in ACL2

  2. Regular Papers

    1. No Access

      Book Chapter

      Pages 28-46

      Modeling Engineering Structures with Constrained Objects

    2. No Access

      Book Chapter

      Pages 47-63

      Compiler Construction in Higher Order Logic Programming

    3. No Access

      Book Chapter

      Pages 64-82

      Declarative Programming and Clinical Medicine On the Use of Gisela in the MedView Project

    4. No Access

      Book Chapter

      Pages 82-100

      Semantics-Based Filtering: Logic Programming’s Killer App

    5. No Access

      Book Chapter

      Pages 101-119

      Linear Scan Register Allocation in a High-Performance Erlang Compiler

    6. No Access

      Book Chapter

      Pages 120-136

      Compiling Embedded Programs to Byte Code

    7. No Access

      Book Chapter

      Pages 137-154

      Typed Combinators for Generic Traversal

    8. No Access

      Book Chapter

      Pages 155-172

      Event-Driven FRP

    9. No Access

      Book Chapter

      Pages 173-191

      Adding Apples and Oranges

    10. No Access

      Book Chapter

      Pages 192-208

      WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms

    11. No Access

      Book Chapter

      Pages 209-224

      A Better XML Parser through Functional Programming

    12. No Access

      Book Chapter

      Pages 225-242

      Functional Approach to Texture Generation

    13. No Access

      Book Chapter

      Pages 243-261

      Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs

    14. No Access

      Book Chapter

      Pages 262-279

      A High-Level Generic Interface to External Programming Languages for ECLiPSe

    15. No Access

      Book Chapter

      Pages 280-298

      A Debugging Scheme for Declarative Equation Based Modeling Languages

    16. No Access

      Book Chapter

      Pages 299-317

      Segment Order Preserving and Generational Garbage Collection for Prolog

    17. No Access

      Book Chapter

      Pages 318-331

      Exploiting E.cient Control and Data Structures in Logic Programs

previous Page of 2