rent-now

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

9789810233846

Functional and Logic Programming

by ;
  • ISBN13:

    9789810233846

  • ISBN10:

    9810233841

  • Format: Hardcover
  • Copyright: 1998-06-01
  • Publisher: WORLD SCIENTIFIC PUB CO INC
  • Purchase Benefits
  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $123.00 Save up to $64.20
  • Digital
    $58.80*
    Add to Cart

    DURATION
    PRICE
    *To support the delivery of the digital material to you, a digital delivery fee of $3.99 will be charged on each digital item.

Summary

Discusses issues concerning functional programming, logic programming, and the integration of the two.

Table of Contents

Foreword
[lambda]-representable Functions over Free Structures Revisitedp. 1
Computing with Abstract Bohm Treesp. 2
Postponing Redex Contractions in Equational Programsp. 40
Towards Manipulation of Mutually Recursive Functionsp. 61
Distributed Haskell: Goffin on the Internetp. 80
Prological Features in a Functional Setting Axioms and Implementationsp. 98
On the Semantics of GAEAp. 123
A Functional View of Rewriting and Strategies for a Semantics of ELANp. 143
Rewriting Logic for Cyclic Sharing Structures (extended abstract)p. 167
Categorical Model Construction for Proving Syntactic Propertiesp. 187
A Type Theory for Cyclic Structurep. 207
Type-free Equational Reasoning in the Theory of Inductively Defined Typesp. 227
Semantics Modifiers: an Approach to Non-Standard Semantics of Programming Languagesp. 247
Online Type-Directed Partial Evaluationp. 271
Two-Stage Programmingp. 296
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