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

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

Label
Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings
Title
Practical aspects of declarative languages
Title remainder
4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings
Statement of responsibility
Shriram Krishnamurthi, C.R. Ramakrishnan (eds.)
Title variation
PADL 2002
Creator
Contributor
Subject
Genre
Language
eng
Member of
Additional physical form
Also available via the Internet. Abstracts available without subscription.
Cataloging source
UKM
http://bibfra.me/vocab/relation/conference
Kw__Ngpa_UU
Dewey number
005.131
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2002
http://bibfra.me/vocab/lite/meetingName
PADL 2002
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Krishnamurthi, Shriram
  • Ramakrishnan, C. R
Series statement
Lecture notes in computer science,
Series volume
2257
http://library.link/vocab/subjectName
  • Declarative programming
  • Semantic networks (Information theory)
  • Programming languages (Electronic computers)
  • Programming languages (Electronic computers)
  • Programming languages (Electronic computers)
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.)
Instantiates
Publication
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
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.)
Publication
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

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...