说明性语言的实用问题Practical Aspects of Declarative Languages

分類: 图书,进口原版书,计算机 Computers & Internet ,
作者: Shriram Krishnamurthi等著
出 版 社: Oversea Publishing House
出版时间: 2002-3-1字数:版次: 1页数: 349印刷时间: 2002/03/01开本: 16开印次: 1纸张: 胶版纸I S B N : 9783540430926包装: 平装内容简介
This book constitutes the refereed proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages, PADL 2002, held in Portland, OR, USA in January 2002.
The 18 revised full papers presented together with three invited contributions were carefully reviewed and selected from 37 submissions. Among the topics addressed are objects, ACL, higher order logic programming, compilers, embedded programs, types, XML parsing, texture generation, logic programming, generic programming, modeling languages, Prolog programming, garbage collection, etc.
目录
Invited Talks
Using a Declarative Language to Build an Experimental Analysis Tool
How to Talk to Your Computer so that It Will Listen
Single-Threaded Objects in ACL2
Regular Papers
Modeling Engineering Structures with Constrained Objects
Compiler Construction in Higher Order Logic Programming
Declarative Programming and Clinical Medicine(On the Use of Gisela in the MedView Project)
Semantics-Based Filtering: Logic Programming's Killer App?
Linear Scan Register Allocation in a High-Performance Erlang Compiler
Compiling Embedded Programs to Byte Code
Typed Combinators for Generic Traversal
Event-Driven FRP
Adding Apples and Oranges
WASH/CGI: Server-Side Web Scripting with Sessions and Typed,Compositional Forms
A Better XML Parser through Functional Programming
Functional Approach to Texture Generation
Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs
A High-Level Generic Interface to External Programming Languages for ECLiPSe
A Debugging Scheme for Declarative Equation Based Modeling Languages
Segment Order Preserving and Generational Garbage Collection for Prolog
Exploiting Efficient Control and Data Structures in Logic Programs
Suspending and Resuming Computations in Engines for SLG Evaluation
Author Index