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

Description

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

• 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

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "A Connotational Theory of Program Structure (Lecture Notes in Computer Science)" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 503
2. Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science)
3. General Theory of Information Transfer and Combinatorics (Lecture Notes in Computer Science)
4. [share_ebook] Network Calculus: A Theory of Deterministic Queuing Systems for the Internet (Lecture Notes in Computer Science)
5. Theory and Applications of Models of Computation (Lecture Notes in Computer Science): Jianer Chen, S. Barry Cooper
6. Computer Science in Perspective: Essays Dedicated to Thomas Ottmann (Lecture Notes in Computer Science)
7. Algorithm Theory - SWAT 2004: 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004, Proceedings (Lecture Notes in Computer Science)
8. The Use of Projective Geometry in Computer Graphics (Lecture Notes in Computer Science, Vol 564)
9. Parallel Computer Architecture (Lecture Notes in Computer Science): Arndt Bode, Mario Dal Cin
10. Transactions on Computational Science I (Lecture Notes in Computer Science)
11. Transactions on Computational Science I (Lecture Notes in Computer Science)
12. Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings (Lecture Notes in Computer Science)
13. [share_ebook] Database Theory ICDT 2007: 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings (Lecture Notes in Computer Science ... Applications, incl. Internet/Web, and HCI)
14. CONLAN Report (Lecture Notes in Computer Science)
15. Architecting Dependable Systems (Lecture Notes in Computer Science)
16. Incremental Speech Translation (Lecture Notes in Computer Science)