default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th PADL 2002: Portland, OR, USA
- Shriram Krishnamurthi, C. R. Ramakrishnan:
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
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 C. 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 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 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-04 19:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
