Implementations of Logic Programming Systems

Locate

My Reading Lists:

Create a new list


Buy this book

Last edited by ImportBot
October 5, 2021 | History

Implementations of Logic Programming Systems

This volume is a collection of research papers in the area of the implementation of logic programming systems. It will be of immediate interest to practitioners who seek an understanding of how to efficiently manage memory, generate fast code, perform sophisticated static analyses, and design high-performance runtime features. A major theme throughout the book is how to effectively leverage host implementation systems and technologies to implement target systems. The book is also beneficial for future reference because it summarizes a wealth of systems implementation experience of the researchers shaping the field over the past ten years. Another theme of the book is compilation techniques to boost performance. The field of static analysis for logic programs is a rapidly developing field that deserves a volume on its own. Implementations of Logic Programming Systems is an excellent reference and may be used as a text for a course on the subject.

Publish Date
Publisher
Springer US
Language
English
Pages
262

Buy this book

Edition Availability
Cover of: Implementations of Logic Programming Systems
Implementations of Logic Programming Systems
1994, Springer US
electronic resource / in English

Add another edition?

Book Details


Edition Notes

Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.

Published in
Boston, MA

Classifications

Dewey Decimal Class
005.13
Library of Congress
QA76.7-76.73, QA76.76.C65, QA75.5-76.95

The Physical Object

Format
[electronic resource] /
Pagination
1 online resource (x, 262 p.)
Number of pages
262

Edition Identifiers

Open Library
OL27045032M
ISBN 10
1461361575, 1461526906
ISBN 13
9781461361572, 9781461526902
OCLC/WorldCat
852790098

Work Identifiers

Work ID
OL19857005W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON