Warren's Abstract Machine

Warren's Abstract Machine pdf epub mobi txt 电子书 下载 2025

出版者:The MIT Press
作者:Ait-Kaci, Hassan
出品人:
页数:134
译者:
出版时间:1991-8
价格:$ 23.73
装帧:
isbn号码:9780262510585
丛书系列:The MIT Press Classics Series
图书标签:
  • 抽象机器
  • 计算理论
  • 编译原理
  • 程序设计语言
  • 虚拟机
  • 形式语言
  • 计算机科学
  • 理论计算机科学
  • 代码生成
  • 指令集架构
想要找书就要到 小美书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

具体描述

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.

作者简介

Hassan Aït-Kaci is Member of Research Staff, Digital Equipment Corporation, Paris Research Laboratory.

目录信息

读后感

评分

评分

评分

评分

评分

用户评价

评分

评分

评分

评分

评分

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有