Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings - researchr publication

researchr

You are not signed in
Sign in
Sign up

Shriram Krishnamurthi, C. R. Ramakrishnan, editors, Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings. Volume 2257 of Lecture Notes in Computer Science, Springer, 2002.

Conference: PADL2002

Abstract is missing.

Using a Declarative Language to Build an Experimental Analysis ToolCatherine Meadows. 1-2 [doi]

How to Talk to Your Computer so that It Will ListenVerónica Dahl. 3-8 [doi]

Single-Threaded Objects in ACL2Robert S. Boyer, J. Strother Moore. 9-27 [doi]

Modeling Engineering Structures with Constrained ObjectsBharat Jayaraman, Pallavi Tambay. 28-46 [doi]

Compiler Construction in Higher Order Logic ProgrammingChuck Liang. 47-63 [doi]

Declarative Programming and Clinical MedicineOlof Torgersson. 64-81 [doi]

Semantics-Based Filtering: Logic Programming s Killer App?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. 82-100 [doi]

Linear Scan Register Allocation in a High-Performance Erlang CompilerErik Johansson, Konstantinos F. Sagonas. 101-119 [doi]

Compiling Embedded Programs to Byte CodeMorten Rhiger. 120-136 [doi]

Typed Combinators for Generic TraversalRalf Lämmel, Joost Visser. 137-154 [doi]

Event-Driven FRPZhanyong Wan, Walid Taha, Paul Hudak. 155-172 [doi]

Adding Apples and OrangesMartin Erwig, Margaret M. Burnett. 173-191 [doi]

WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional FormsPeter Thiemann. 192-208 [doi]

A Better XML Parser through Functional ProgrammingOleg Kiselyov. 209-224 [doi]

Functional Approach to Texture GenerationJerzy Karczmarczuk. 225-242 [doi]

Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic ProgramsJohn P. Gallagher, Germán Puebla. 243-261 [doi]

A High-Level Generic Interface to External Programming Languages for ECLiPSeKish Shen, Joachim Schimpf, Stefano Novello, Josh Singer. 262-279 [doi]

A Debugging Scheme for Declarative Equation Based Modeling LanguagesPeter Bunus, Peter Fritzson. 280-298 [doi]

Segment Order Preserving and Generational Garbage Collection for PrologRuben Vandeginste, Konstantinos F. Sagonas, Bart Demoen. 299-317 [doi]

Exploiting Efficient Control and Data Structures in Logic ProgramsRong Yang, Steve Gregory. 318-331 [doi]

Suspending and Resuming Computations in Engines for SLG EvaluationLuís Fernando Castro, Terrance Swift, David Scott Warren. 332-350 [doi]

runs on WebDSL