A Connotational Theory of Program Structure (Lecture Notes in Computer Science)

<< Buy This Book on Amazon >>

收藏推荐:

图书介绍

Publisher: Springer
Number Of Pages: 186
Publication Date: 1987-10-05
Sales Rank: 4491057
ISBN / ASIN: 3540182535
EAN: 9783540182535
Binding: Paperback
Manufacturer: Springer
Studio: Springer
Average Rating:
Total Reviews:

Book Description:

This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which is much broader than in other theories of programming languages such as denotational semantics and program schemes. This notion permits treatment of control structures which involve not only the denotation of programs (i.e., their input/output behavior), but also their structure, size, run times, etc. The theory also treats the relation of control structure and complexity properties of programming languages. The book focuses on expressive interdependencies of control structures (which control structures can be expressed by which others). A general method of proving control structures expressively independent is developed. The book also considers characterizations of the expressive power of general purpose programming languages in terms of control structures. Several new characterizations are presented and two compactness results for such characterizations are shown.

ISBN 3-540-18253-5 Springer-Verlag Berlin Heidelberg New York
ISBN 0387-18253-5 Springer-Verlag NewYork Berlin Heidelberg

Password: gigapedia.org

http://rapidshare.com/files/30491990/ACTPS.rar

Copyright Disclaimer:
本站一切内容源于互联网搜索，禁止商用！请查看本页来源页面的版权声明。如有任何不妥请联系:ebookee[at]gmail.com，我们将在24小时内删除相关内容。

浏览量：130 添加时间：2007-06-03 12:25:03, 更新时间：2007-06-03 12:25:03, from internet

下载链接

<< Buy This Book on Amazon >>

没有下载链接

请在图书介绍里查找下载链接，如果没有，可以试着搜索有无其它该书信息。

不能下载？
如果不能下载或者在“图书介绍”中找不到 "A Connotational Theory of Program Structure (Lecture Notes in Computer Science)" 的下载链接请留言。下次访问本站时察看所有留言看是否有人已经更新了该书。

该书可能有其它下载链接，请点这里查询相关图书。