The Definition of Standard ML pdf epub mobi txt 电子书 下载 2024


The Definition of Standard ML

简体网页||繁体网页
Robin Milner
The MIT Press
1997
128
$28.00
Paperback
9780262631815

图书标签: 计算机科学  ML  Programming  Definition  計算機  函数式编程  of  The   


喜欢 The Definition of Standard ML 的读者还喜欢




点击这里下载
    


想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-23

The Definition of Standard ML epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

The Definition of Standard ML epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

The Definition of Standard ML pdf epub mobi txt 电子书 下载 2024



图书描述

Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with full rigor. One purpose of a language definition is to establish a theory of meanings upon which the understanding of particular programs may rest. To properly define a programming language, it is necessary to use some form of notation other than a programming language. Given a concern for rigor, mathematical notation is an obvious choice. The authors have defined their semantic objects in mathematical notation that is completely independent of Standard ML. In defining a language one must also define the rules of evaluation precisely--that is, define what meaning results from evaluating any phrase of the language. The definition thus constitutes a formal specification for an implementation. The authors have developed enough of their theory to give sense to their rules of evaluation. The Definition of Standard ML is the essential point of reference for Standard ML. Since its publication in 1990, the implementation technology of the language has advanced enormously and the number of users has grown. The revised edition includes a number of new features, omits little-used features, and corrects mistakes of definition.

The Definition of Standard ML 下载 mobi epub pdf txt 电子书

著者简介

Robin Milner is Professor of Theoretical Computer Science and Head of Department at the University of Cambridge Computer Laboratory. Mads Tofte is Lecturer in the Department of Computer Science at the University of Copenhagen. Robert Harper is Associate Professor in the School of Computer Science at Carnegie Mellon University. David MacQueen is Head of the Software Principles Research Department, Computing Sciences Research Center, Bell Laboratories, Lucent Technologies.


图书目录


The Definition of Standard ML pdf epub mobi txt 电子书 下载
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

用户评价

评分

评分

评分

评分

评分

读后感

评分

对于程序设计语言领域以外的人大概需要从注释<<Commentary on Standard ML>> http://book.douban.com/subject/4133469/ 来读,可惜的是这本注释没有更新到ML 97,否则读起来能更容易一些。 本书里面的推导规则虽然看着挺吓人的,但是有点耐心的话并不难。 PS. 话说作者写个语...

评分

对于程序设计语言领域以外的人大概需要从注释<<Commentary on Standard ML>> http://book.douban.com/subject/4133469/ 来读,可惜的是这本注释没有更新到ML 97,否则读起来能更容易一些。 本书里面的推导规则虽然看着挺吓人的,但是有点耐心的话并不难。 PS. 话说作者写个语...

评分

对于程序设计语言领域以外的人大概需要从注释<<Commentary on Standard ML>> http://book.douban.com/subject/4133469/ 来读,可惜的是这本注释没有更新到ML 97,否则读起来能更容易一些。 本书里面的推导规则虽然看着挺吓人的,但是有点耐心的话并不难。 PS. 话说作者写个语...

评分

对于程序设计语言领域以外的人大概需要从注释<<Commentary on Standard ML>> http://book.douban.com/subject/4133469/ 来读,可惜的是这本注释没有更新到ML 97,否则读起来能更容易一些。 本书里面的推导规则虽然看着挺吓人的,但是有点耐心的话并不难。 PS. 话说作者写个语...

评分

对于程序设计语言领域以外的人大概需要从注释<<Commentary on Standard ML>> http://book.douban.com/subject/4133469/ 来读,可惜的是这本注释没有更新到ML 97,否则读起来能更容易一些。 本书里面的推导规则虽然看着挺吓人的,但是有点耐心的话并不难。 PS. 话说作者写个语...

类似图书 点击查看全场最低价

The Definition of Standard ML pdf epub mobi txt 电子书 下载 2024


分享链接









相关图书




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

友情链接

© 2024 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有