Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings, Shriram Krishnamurthi, C.R. Ramakrishnan (eds.)

Resource Information

The instance Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings, Shriram Krishnamurthi, C.R. Ramakrishnan (eds.) represents a material embodiment of a distinct intellectual or artistic creation found in University of Missouri-St. Louis Libraries.

Image

http://images.btol.com/ContentCafe/Jacket.aspx?UserID=ebsco-test&Password=ebsco-test&Return=T&Value=9783540430926&Type=L

Label

Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings, Shriram Krishnamurthi, C.R. Ramakrishnan (eds.)

Title remainder

4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings

Statement of responsibility

Shriram Krishnamurthi, C.R. Ramakrishnan (eds.)

Instantiates

• Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings

Publication

• Berlin | London, Springer, ©2002

Bibliography note

Includes bibliographical references and index

Carrier category

volume

Carrier category code

• nc

Carrier MARC source

rdacarrier

Content category

text

Content type code

• txt

Content type MARC source

rdacontent

Contents

Using a Declarative Language to Build an Experimental Analysis Tool / Catherine Meadows -- How to Talk to Your Computer so that It Will Listen / Veronica Dahl -- Single-Threaded Objects in ACL2 / Robert S. Boyer and J. Strother Moore -- Modeling Engineering Structures with Constrained Objects / Bharat Jayaraman and Pallavi Tambay -- Compiler Construction in Higher Order Logic: Programming / Chuck C. Liang -- Declarative Programming and Clinical Medicine (On the Use of Gisela in the MedView Project) / Olof Torgersson -- Semantics-Based Filtering: Logic Programming's Killer App? / Gopal Gupta, Hai-Feng Guo and Arthur I. Karshmer / [et al.] -- Linear Scan Register Allocation in a High-Performance Erlang Compiler / Erik Johansson and Konstantinos Sagonas -- Compiling Embedded Programs to Byte Code / Morten Rhiger -- Typed Combinators for Generic Traversal / Ralf Lammel and Joost Visser -- Event-Driven FRP / Zhanyong Wan, Walid Taha and Paul Hudak -- Adding Apples and Oranges / Martin Erwig and Margaret Burnett -- WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms / Peter Thiemann -- A Better XML Parser through Functional Programming / Oleg Kiselyov -- Functional Approach to Texture Generation / Jerzy Karczmarczuk -- Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs / John P. Gallagher and German Puebla -- A High-Level Generic Interface to External Programming Languages for ECLiPSe / Kish Shen, Joachim Schimpf and Stefano Novello / [et al.] -- A Debugging Scheme for Declarative Equation Based Modeling Languages / Peter Bunus and Peter Fritzson -- Segment Order Preserving and Generational Garbage Collection for Prolog / Ruben Vandeginste, Konstantinos Sagonas and Bart Demoen -- Exploiting Efficient Control and Data Structures in Logic Programs / Rong Yang and Steve Gregory -- Suspending and Resuming Computations in Engines for SLG Evaluation / Luis F. Castro, Terrance Swift and David S. Warren

Control code

48928620

Dimensions

24 cm

Extent

viii, 349 pages

Isbn

9783540430926

Media category

unmediated

Media MARC source

rdamedia

Media type code

• n

Other physical details

illustrations

Record ID

.b47450162