Index
 
Operating Systems
Java
Programming Languages
Hardware
Microsoft Technologies
Computer Science
Formal Methods
MM & Game Dev.
Theory Computing
Compilers
Database
Hardware
DS & Algorithms
OS
Network
Database
Network
Software Engineering
XML and XSL
Internet
Web Programming
Web Technologies
Physics
Bio-Chemistry
Mathematics
Medical
Redbooks
Unlisted/Miscellaneous

Contact Us

Freebookzone.com | What's New | Missing Link | Feedback

CS -> Compilers and Languages



Book Title : Warren's Abstract Machine: A Tutorial Reconstruction
eBook download format(s) : html
ISBN-10 : 0262510588 
ISBN-13 : 978-0-262510-58-5 
Author(s) : Hassan Aït-Kaci
Publisher : The MIT Press (12 Aug 1991)
Section : CS -> Compilers and Languages
Book Review:

Book Description
This tutorial demystifies one of the most important yet poorly understood aspects of logic programming, the Warren Abstract Machine or WAM. The author's step-by-step construction of the WAM adds features in a gradual manner, clarifying the complex aspects of the design and providing the first detailed study of WAM since it was designed in 1983.

Developed by David H. D. Warren, the WAM is an abstract (nonphysical) computer that aids in the compilation and implementation of the Prolog programming language and offers techniques for compiling and optimizing symbolic computing that can be generalized beyond Prolog. Although the benefits of the WAM design have been widely accepted, few have been able to penetrate the WAM. This lucid introduction defines separate abstract machines for each conceptually separate part of the design and refines them, finally stitching them together to make a WAM. An index presents all of the critical concepts used in the WAM. It is assumed that readers have a clear understanding of the operational semantics of Prolog, in particular, of unification and backtracking, but a brief summary of the necessary Prolog notions is provided.

Contents: Introduction. Unification -- Pure and Simple. Flat Resolution. Prolog. Optimizing the Design. Conclusion. Appendixes.




add to del.icio.us                 Digg Freebookzone.com!

You may use anyone of the download options


eBook VersionBuy this book from Amazon
Front Cover

Missing Link?, Report It and you may wish to  Buy  this book from amazon

Tell a Friend!

Similar Book titles in CS -> Compilers and Languages section:
Implementing Functional Languages: A Tutorial


Similar Book titles in Other sections:

Section: Bio-Chemistry
EMBnet Biocomputing Tutorials


Section: CS -> Hardware
Computer Architecture Tutorial
Advanced Computer Architecture Tutorials


Section: CS -> Theory
Visual Reconstruction


Section: DB -> Postgre SQL
PostgreSQL Tutorial


Section: Device Drivers
Writing Device Drivers: Tutorial


Section: Microprocessor
AVR Tutorial
An Assembly Language Tutorial for the Model 100


Section: Advanced Java
Java Design Pattern: A Tutorial
The Advanced Java/J2EE Tutorial


Section: Java Enterprise Edition
The J2EE(TM) 1.4 Tutorial
Servlets and JavaServer Pages (JSP): A Tutorial
The Java Web Services Tutorial
The J2EE Tutorial
Tutorial For Building j2Ee Applications Using Jboss And Eclipse
Show all..


Section: Java User Interface
Swing: A Quick Tutorial for AWT Programmers
Java 3D API Tutorial
Java 2D: An Introduction and Tutorial


Section: Java Language
Brewing Java: A Tutorial
JDK 1.4 Tutorial
The Java Tutorial


Section: Java Networking
Java Message Service (JMS) Tutorial
JNDI API Tutorial and Reference


Section: Mathematics
Vector Math for 3D Computer Graphics - An Interactive Tutorial
Algebra: Abstract And Concrete
Elements of Abstract and Linear Algebra
Applied Abstract Algebra
Abstract Algebra: The Basic Graduate Year
Show all..


Section: Miscellaneous
A Genetic Algorithm Tutorial


Section: Microsoft C Sharp (C#)
C# Tutorial


Section: MS Web Technologies
Active Server Pages Tutorial


Section: Networking
ISDN Tutorial
TCP/IP and IPX routing Tutorial
PVM: Parallel Virtual Machine: A Users' Guide and Tutorial for Network Parallel Computing


Section: GNU/Linux OS
XEmacs Tutorial
GTK+ 2.0 Tutorial
Xlib programming: a short tutorial
LINUX: Rute User's Tutorial and Exposition
Iptables Tutorial 1.2.2 - Linux Firewall Configuration
Show all..


Section: OS Theory
Operating System Tutorials


Section: Unix OS
SCO Operating System Tutorial


Section: Assembly Language
Tutorial 80x86/87 Assembly Language


Section: C Language
C Programming Tutorial (K&R version 4)
Programming in C: A Tutorial
A Tutorial On Pointers And Arrays In C
C Programming Tutorial
The GNU C Programming Tutorial
Show all..


Section: COBOL Programming
Cobol Tutorial
COBOL Lectures and Tutorials


Section: C++ Language
An Introductory STL tutorial
C++ Language Tutorial
C++ Programming Tutorial
C++ tutorial for C users
C++ Tutorials
Show all..


Section: Other Programming
Ada 95 Tutorial
An Eiffel Tutorial
Fortran 77 Tutorial
Fortran 90 Tutorial
Pascal Language Tutorial
Show all..


Section: Perl Scripting
Perl Tutorial


Section: Ruby Programming
RubyCHannel Tutorial
Qt Tutorial #1/#2 - The 14 Steps
Ruby/Tk Tutorial
Ruby on Rails Tutorial


Section: Scripting
Python Tutorial
Non-Programmers Tutorial For Python
Concrete Abstractions: An Introduction to Computer Science Using Scheme


Section: Smalltalk
Smalltalk/V Mac Tutorial and Programming Handbook


Section: Redbooks Draft
TCP/IP Tutorial and Technical Overview


Section: Redbooks
TCP/IP Tutorial and Technical Overview


Section: Redpapers
Abstract Service Definition for Media Services


Section: Redpapers Draft
DB2 Web Query Tutorials Building Dashboards and Compound Documents
DB2 Web Query Tutorials Going Mobile - Distribution and Mobile Device Support
DB2 Web Query Tutorials Advanced Functions
DB2 Web Query Tutorials - Reporting and Charting including OLAP Functions
DB2 Web Query Tutorials Administrative Functions - Getting Started
Show all..


Section: Web Programming
PHP & MySQL Tutorial
Active Server Pages (ASP) Tutorial
Advanced JavaScript Tutorial
JScript 5.x Tutorial
Active Server Pages Tutorial
Show all..


Section: XML, XSL & UML
XML Schema Tutorial
XML Tutorial
XSLT & XPath Tutorial
Groud Zero XML Tutorial
Softsteel Wireless Markup Language (WML) Tutorial
Show all..


Similar Books from Amazon :


Tell a Friend!


©2008 FreeBookZone.com - Home - Privacy Policy - Program Policy, Terms and Conditions