Principles and Practice of Declarative Programming, , Principles

Book Categories

Authors

C--: A Portable Assembly Language that Supports Garbage Collection
Simon Peyton Jones, Norman Ramsey, Fermin Reig
On Formalised Proofs of Termination of Recursive Functions
Fairouz Kamareddine, Francois Monin
Argument Filtering Transformation
Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama
A Primitive Calculus for Module Systems
Davide Ancona, Elena Zucca
Non-dependent Types for Standard ML Modules
Claudio V. Russo
Constraint Programming in OPL
P. Van Hentenryck, L. Michel, L. Perron, (et al.)
Compiling Constraint Handling Rules into Prolog with Attributed Variables
Christian Holzbaur, Thom Fruhwirth
Parallel Execution Models for Constraint Programming over Finite Domains
Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Saenz, (et al.)
Functional Plus Logic Programming with Built-In and Symbolic Constraints
P. Arenas-Sanchez, F. J. Lopez-Fraguas, M. Rodriguez-Artalejo
A Calculus for Interaction Nets
Maribel Fernandez, Ian Mackie
Distributed Programming in a Multi-Paradigm Declarative Language
Michael Hanus
Logical and Meta-Logical Frameworks
Frank Pfenning
A Simple and General Method for Integrating Abstract Interpretation in SICStus
Dante Baldan, Nicola Civran, Gilberto File, (et al.)
Run Time Type Information in Mercury
Tyson Dowd, Zoltan Somogyi, Fergus Henderson, (et al.)
A Virtual Machine for a Process Calculus
Luis Lopes, Fernando Silva, Vasco T. Vasconcelos
Optimising Bytecode Emulation for Prolog
Vitor Santos Costa
OPENLOG: A Logic Programming Language Based on Abduction
Jacinto A. Davila
An Operational Semantics of Starlog
Lunjin Lu, John G. Cleary
On the Verification of Finite Failure
Roberta Gori, Giorgio Levi
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices
Ulrich Neumerkel, Fred Mesnard
Modular Termination Proofs for Prolog with Tabling
Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye
Declarative Program Transformation: A Deforestation Case-Study
Loic Correnson, Etienne Duris, Didier Parigot, (et al.)
A Semantic Account of Type-Directed Partial Evaluation
Andrzej Filinski
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, (et al.)
Widening Sharing
Eriea Zaffanella, Roberto Bagnara, Patricia M. Hill
Author Index

Title: Principles and Practice of Declarative Programming

Manufacturer:

Steidl Publishing

Item Number: 9783540665403

Publication Date: January 1999

Number: 1

Product Description: Principles and Practice of Declarative Programming

Universal Product Code (UPC): 9783540665403

WonderClub Stock Keeping Unit (WSKU): 9783540665403

Rating: 3.5/5 based on 2 Reviews

Image Location: https://wonderclub.com/images/covers/54/03/9783540665403.jpg

Category: Media >> Books

Weight: 0.200 kg (0.44 lbs)

Width: 0.000 cm (0.00 inches)

Heigh : 0.000 cm (0.00 inches)

Depth: 0.000 cm (0.00 inches)

Date Added: August 25, 2020, Added By: Ross

Date Last Edited: August 25, 2020, Edited By: Ross

Price	Condition	Delivery	Seller	Action
$99.99	Digital	Arrives between Apr 16 - May 16 Login to your account for a direct download. Some files are emailed from Dropbox. Continent $0.00 - World $0.00	WonderClub (9292 total ratings)

Question Concerning Principles and Practice of Declarative Programming

Ask a Question about Principles and Practice of Declarative Programming

No Question found!

Read Reviews for Principles and Practice of Declarative Programming Write review

Henk Bongers

reviewed Principles and Practice of Declarative Programming on August 31, 2011

Principles and Practice of Declarative Programming

Ok, a bit outdated.

Principles and Practice of Declarative Programming Book

Book Categories

Authors

Steidl Publishing

Question Concerning Principles and Practice of Declarative Programming

Read Reviews for Principles and Practice of Declarative Programming Write review

Login

Complaints

Blog

Games

Digital Media

Souls

Obituary

Contact Us

FAQ

You must be logged in to add to Wishlist

This item is in your Wish List

This item is in your Collection

This Item is in Your Inventory

You must be logged in to review the products

Add Principles and Practice of Declarative Programming, , Principles and Practice of Declarative Programming to the inventory that you are selling on WonderClub

Add Principles and Practice of Declarative Programming, , Principles and Practice of Declarative Programming to your collection on WonderClub