The SCEAS System
Navigation Menu

Conferences in DBLP

Practical Aspects of Declarative Languages (PADL) (padl)
2002 (conf/padl/2002)

  1. Catherine Meadows
    Using a Declarative Language to Build an Experimental Analysis Tool. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:1-2 [Conf]
  2. Verónica Dahl
    How to Talk to Your Computer so that It Will Listen. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:3-8 [Conf]
  3. Robert S. Boyer, J. Strother Moore
    Single-Threaded Objects in ACL2. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:9-27 [Conf]
  4. Bharat Jayaraman, Pallavi Tambay
    Modeling Engineering Structures with Constrained Objects. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:28-46 [Conf]
  5. Chuck Liang
    Compiler Construction in Higher Order Logic Programming. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:47-63 [Conf]
  6. Olof Torgersson
    Declarative Programming and Clinical Medicine. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:64-81 [Conf]
  7. 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? [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:82-100 [Conf]
  8. Erik Johansson, Konstantinos F. Sagonas
    Linear Scan Register Allocation in a High-Performance Erlang Compiler. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:101-119 [Conf]
  9. Morten Rhiger
    Compiling Embedded Programs to Byte Code. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:120-136 [Conf]
  10. Ralf Lämmel, Joost Visser
    Typed Combinators for Generic Traversal. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:137-154 [Conf]
  11. Zhanyong Wan, Walid Taha, Paul Hudak
    Event-Driven FRP. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:155-172 [Conf]
  12. Martin Erwig, Margaret M. Burnett
    Adding Apples and Oranges. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:173-191 [Conf]
  13. Peter Thiemann
    WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:192-208 [Conf]
  14. Oleg Kiselyov
    A Better XML Parser through Functional Programming. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:209-224 [Conf]
  15. Jerzy Karczmarczuk
    Functional Approach to Texture Generation. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:225-242 [Conf]
  16. John P. Gallagher, Germán Puebla
    Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:243-261 [Conf]
  17. Kish Shen, Joachim Schimpf, Stefano Novello, Josh Singer
    A High-Level Generic Interface to External Programming Languages for ECLiPSe. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:262-279 [Conf]
  18. Peter Bunus, Peter Fritzson
    A Debugging Scheme for Declarative Equation Based Modeling Languages. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:280-298 [Conf]
  19. Ruben Vandeginste, Konstantinos F. Sagonas, Bart Demoen
    Segment Order Preserving and Generational Garbage Collection for Prolog. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:299-317 [Conf]
  20. Rong Yang, Steve Gregory
    Exploiting Efficient Control and Data Structures in Logic Programs. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:318-331 [Conf]
  21. Luís Fernando Castro, Terrance Swift, David Scott Warren
    Suspending and Resuming Computations in Engines for SLG Evaluation. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:332-350 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002