Related Books

Functional Programming Languages and Computer Architecture
Language: en
Pages: 684
Authors: John Hughes
Categories: Computers
Type: BOOK - Published: 1991-08-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book offers a comprehensive view of the best and the latest work in functional programming. It is the proceedings of a major international conference and c
First International Workshop on Larch
Language: en
Pages: 323
Authors: Ursula Martin
Categories: Computers
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a fam
Logic Program Synthesis and Transformation
Language: en
Pages: 282
Authors: Kung-Kiu Lau
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supp
Rules in Database Systems
Language: en
Pages: 419
Authors: Norman W. Paton
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is the proceedings of a workshop held at Heriot-Watt University in Edinburgh in August 1993. The central theme of the workshop was rules in database s
Logic Program Synthesis and Transformation
Language: en
Pages: 258
Authors: Yves Deville
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in