Practical Aspects of Declarative Languages: 4th International Symposium, Padl 2002 Portland, Or, Usa, January 19-20, 2002 Proceedings

by Krishnamurthi, Shriram; Ramakrishnan, C. R.

• ISBN13: 9783540430926
• ISBN10: 354043092X
• Format: Paperback
• Copyright: 2002-04-01
• Publisher: Springer-Verlag New York Inc

Summary

This volume contains the proceedings of the Kovalevsky symposium held in Stockholm 2000. The first part is devoted to the life of S. Kovalevsky, the first female professor of mathematics, who influenced the development of European science during the last century. Historical notes by G. Mittag-Leffler and copies of official documents related to her life as well as several articles on her life and mathematics are presented. The main articles by J.-E. Björk describe her life and professorship at Stockholm University. Part two of the volume contains 23 contributions in pure and applied mathematics, and in mathematical physics resulting from the lectures delivered within the program of the symposium.

Table of Contents

Invited Talks
Using a Declarative Language to Build an Experimental Analysis Tool	1	(2)
Catherine Meadows
How to Talk to Your Computer so that It Will Listen	3	(6)
Veronica Dahl
Single-Threaded Objects in ACL2	9	(19)
Robert S. Boyer
J. Strother Moore
Regular Papers
Modeling Engineering Structures with Constrained Objects	28	(19)
Bharat Jayaraman
Pallavi Tambay
Compiler Construction in Higher Order Logic Programming	47	(17)
Chuck C. Liang
Declarative Programming and Clinical Medicine (On the Use of Gisela in the MedView Project)	64	(18)
Olof Torgersson
Semantics-Based Filtering: Logic Programming's Killer App?	82	(19)
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
Linear Scan Register Allocation in a High-Performance Erlang Compiler	101	(19)
Erik Johansson
Konstantinos Sagonas
Compiling Embedded Programs to Byte Code	120	(17)
Morten Rhiger
Typed Combinators for Generic Traversal	137	(18)
Ralf Lammel
Joost Visser
Event-Driven FRP	155	(18)
Zhanyong Wan
Walid Taha
Paul Hudak
Adding Apples and Oranges	173	(19)
Martin Erwig
Margaret Burnett
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms	192	(17)
Peter Thiemann
A Better XML Parser through Functional Programming	209	(16)
Oleg Kiselyov
Functional Approach to Texture Generation	225	(18)
Jerzy Karczmarczuk
Abstract Interpretation over Non-deterministic Finite Tree Automate for Set-Based Analysis of Logic Programs	243	(19)
John P. Gallagher
German Puebla
A High-Level Generic Interface to External Programming Languages for ECLiPSe	262	(18)
Kish Shen
Joachim Schimpf
Stefano Novello
Josh Singer
A Debugging Scheme for Declarative Equation Based Modeling Languages	280	(19)
Peter Bunus
Peter Fritzson
Segment Order Preserving and Generational Garbage Collection for Prolog	299	(19)
Ruben Vandeginste
Konstantinos Sagonas
Bart Demoen
Exploiting Efficient Control and Data Structures In Logic Programs	318	(14)
Rong Yang
Steve Gregory
Suspending and Resuming Computations in Engines for SLG Evaluation	332	(19)
Luis F. Castro
Terrance Swift
David S. Warren
Author Index	351