did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9789810224370

Functional and Logic Programming : Proceedings of the Fuji International Workshop, Susono, Japan, July 17-19, 1995

by ; ; ;
  • ISBN13:

    9789810224370

  • ISBN10:

    9810224370

  • Format: Hardcover
  • Copyright: 1995-12-01
  • Publisher: World Scientific Pub Co
  • Purchase Benefits
List Price: $78.00
  • Digital
    $295.88
    Add to Cart

    DURATION
    PRICE

Supplemental Materials

What is included with this book?

Table of Contents

Concurrency in Functional and Logic Programmingp. 1
Towards a Denotational Semantics for Concurrent State Transformersp. 19
Dynamic Binding and Lexical Binding in a Transformation Calculusp. 34
Conservative Extensions of Polymorphic PCFp. 48
A [lambda]-calculus with Overloading and Inheritancep. 63
Type Inference for Simply-Typed Environment Calculus with Shadowingp. 76
Functional Counterparts of Some Logic Programming Techniquesp. 90
A Deterministic Lazy Narrowing Calculusp. 104
Completeness of Narrowing for Orthogonal Conditional Rewrite Systemsp. 119
Using First-Order Narrowing to Solve Goals of Higher-order Patternsp. 134
Equivalence Between the Quotient Term Model and the Least Complete Herbrand Model for a Functional-Logic Languagep. 148
An Efficient Calculus for Constraint Functional-Logic Programming Languagesp. 164
Fusion and Tupling Transformations: Synergies and Conflictsp. 176
Promotional Transformation of Monadic Programsp. 196
A Tabulation Transformation Tactic Using Haskell Arraysp. 211
Efficient Call-by-value Evaluation of Primitive Recursive Program Schemesp. 224
The Generation of a Higher-Order Online Partial Evaluatorp. 239
Binding Time Analysis for Data Type Specializationp. 254
Parallel Functional Implementations: Graphbased vs. Stackbased Reductionp. 270
A Throw-away Compiler for a Lazy Functional Languagep. 287
Generating Fast Garbage Collection Methods for Declarative Languagesp. 301
Compiling Programs of an Applicative Narrowing Calculusp. 316
Table of Contents provided by Blackwell. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program