说明性语言的实用问题Practical Aspects of Declarative Languages mobi 下载 网盘 caj lrf pdf txt 阿里云

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

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：说明性语言的实用问题Practical Aspects of Declarative Languages在线阅读

在线听书地址：说明性语言的实用问题Practical Aspects of Declarative Languages在线收听

在线购买地址：说明性语言的实用问题Practical Aspects of Declarative Languages在线购买

暂无原文赏析，正在全力查找中！

书籍介绍

在线阅读本书

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.