The Definition of Standard ML 2024 pdf epub mobi 電子書 下載


The Definition of Standard ML

簡體網頁||繁體網頁

The Definition of Standard ML pdf epub mobi 著者簡介

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 圖書描述

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 2024 pdf epub mobi 電子書 下載

The Definition of Standard ML pdf epub mobi 圖書目錄




點擊這裡下載
    


想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-12-23

The Definition of Standard ML 2024 pdf epub mobi 電子書 下載

The Definition of Standard ML 2024 pdf epub mobi 電子書 下載

The Definition of Standard ML 2024 pdf epub mobi 電子書 下載



喜欢 The Definition of Standard ML 電子書 的读者还喜欢


The Definition of Standard ML pdf epub mobi 讀後感

評分

對於程序設計語言領域以外的人大概需要從注釋<<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 MIT Press
作者:Robin Milner
出品人:
頁數:128
譯者:
出版時間:1997
價格:$28.00
裝幀:Paperback
isbn號碼:9780262631815
叢書系列:

圖書標籤: 計算機科學  ML  Programming  Definition  計算機  函數式編程  of  The   


The Definition of Standard ML 2024 pdf epub mobi 電子書 下載
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

The Definition of Standard ML pdf epub mobi 用戶評價

評分

評分

評分

評分

評分

The Definition of Standard ML 2024 pdf epub mobi 電子書 下載


分享鏈接





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋 版權所有