Nondeterminism in Algebraic Specifications and Algebraic Programs
内容简介
"Nondeterminism in Algebraic Specifications and Algebraic Programs" presents a mathematical theory for the integration of three concepts: non-determinism, axiomatic specification and term r...
(展开全部)
"Nondeterminism in Algebraic Specifications and Algebraic Programs" presents a mathematical theory for the integration of three concepts: non-determinism, axiomatic specification and term rewriting. For non-deterministic programs, an algebraic specification language is provided which admits the application of automated tools based on term rewriting techniques. This general framework is used to explore connections between logic programming and algebraic programming. Examples from various areas of computer science are given, including results of computer experiments with a prototypical implementation. This book should be of interest to readers working within several fields of theoretical computer science, from algebraic specification theory to formal descriptions of distributed systems.
您对《Nondeterminism in Algebraic Specifications and Algebraic Programs》有什么评价吗,点击右上角“我想说两句”,说出你的看法吧。
有什么“读后感”吗?您可点击右上角“我要写长评”来进行评价噢。
猜您喜欢读
网友关注
网友关注
精品推荐
分类导航
评价“Nondeterminism in Algebraic Specifications and Algebraic Programs”