Maude System的封面
书籍主题:

Maude System

Rewriting, SRI International, Joseph Goguen

Bellum Publishing (2012-05-04 )

Books loader

Omni badge 有获得代金券的资格
ISBN-13:

978-613-6-58761-5

ISBN-10:
6136587610
EAN:
9786136587615
书籍语言:
英文
作品简介:
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Maude system is an implementation of rewriting logic developed at SRI International. It is similar in its general approach to Joseph Goguen's OBJ3 implementation of equational logic, but based on rewriting logic rather than order-sorted equational logic, and with a heavy emphasis on powerful metaprogramming based on reflection. Maude modules consists of a term-language plus sets of equations and rewrite-rules. Terms in a rewrite theory are constructed using operators. Operators taking 0 arguments are considered constants, and we construct our term-language by these simple constructs.
出版社 :
Bellum Publishing
网址:
http://www.alphascript-publishing.com
出版发行由:
Othniel Hermes
页码 :
52
发表日期:
2012-05-04
现货:
备有现货
类别:
操作系统,用户界面
价格:
46.98 S$
关键词:
Logic, language, Implementation, Rewriting, Emphasis

Books loader

时事通讯

Adyen::cup Adyen::unionpay Paypal CryptoWallet 银行转帐

LOGIN
  0产品在购物车内
编辑购物车
Loading frontend
LOADING