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.)
Contributor
Subject
Language
eng
Member of
Cataloging source
OHX
Illustrations
illustrations
Index
index present
LC call number
QA76.7
LC item number
.P32 2002
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
PADL 2002
http://library.link/vocab/subjectName
  • Declarative programming
  • Semantic networks (Information theory)
  • Programming languages (Electronic computers)
  • Programming languages (Electronic computers)
  • Langages de programmation
  • Declarative programming
  • Programming languages (Electronic computers)
  • Programming languages (Electronic computers)
  • Semantic networks (Information theory)
  • Programmeertalen
  • débogage
  • PROLOG
  • programmation avec contrainte
  • compilation
  • réécriture
  • théorie programmation
  • méthode formelle
  • programmation en logique
  • langage déclaratif
  • Programmation déclarative
  • Langages de programmation
  • débogage
  • PROLOG
  • programmation avec contrainte
  • compilation
  • réécriture
  • théorie programmation
  • méthode formelle
  • programmation en logique
  • langage déclaratif
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
Note
Internat. conference proceedings
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
Dimensions
24 cm.
Dimensions
unknown
Extent
viii, 349 pages
Isbn
9783540430926
Isbn Type
(pbk.)
Lccn
2002283456
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)48928620
  • (OCoLC)ocm48928620
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
Note
Internat. conference proceedings
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
Dimensions
24 cm.
Dimensions
unknown
Extent
viii, 349 pages
Isbn
9783540430926
Isbn Type
(pbk.)
Lccn
2002283456
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)48928620
  • (OCoLC)ocm48928620

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...