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

Like Book123?! Give us +1

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 Buy Book at Lowest Price on Amazon

Rating:
2.5 out of 5 by Book123

Download Links
Server	Status
Direct Download Link 1	Alive
Direct Download Link 2	Alive
Download Link (Download Link 1)	Alive
Buy This Book at Best Price >>

Like this article?! Give us +1:

	Study Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science) Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science)Springer \| ISBN: 3540074155 \| 1985-07-17 \| PDF \| 388 pages \| 15 Mb Mirror
	Technical A Generative Theory of Shape (Lecture Notes in Computer Science) ISBN: 3540427171 Publisher: Springer Author: Michael LeytonDescription:The purpose of the book is to develop a generative theory of shape that has two properties regarded as fundamental to intelligence - maximizing transfer of structure and ...
	Technical Discovery Science: 10th International Conference, DS 2007 Sendai, Japan, October 1-4, 2007. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) ISBN: 3540754873 Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 10th International Conference on Discovery Science, DS 2007, held in Sendai, Japan, in October 2007, co-located with the 18th Int ...
	Technical Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) ISBN: 3540705937 Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. The 18 rev ...
	Technical Algorithmic Learning Theory: 10th International Conference, ALT '99 Tokyo, Japan, December 6-8, 1999 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) ISBN: 3540667482 Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 10th International Conference on Algorithmic Learning Theory, ALT'99, held in Tokyo, Japan, in December 1999. The 26 full papers ...
	Technical Affect and Emotion in Human-Computer Interaction: From Theory to Applications (Lecture Notes in Computer Science) Author: Publisher: Springer (2008)Binding: Paperback, 241 pagespricer: $59.95ISBN-10: 3540850988editorialreviewsAffect and emotion play an important role in our everyday lives: They are present whatever we do, wherever we are, and wherever ...

Share this page with your friends now!
Text link
Forum (BBCode)
Website (HTML)

DISCLAIMER:

This site does not store Technical A Connotational Theory of Program Structure (Lecture Notes in Computer Science) on its server. We only index and link to Technical A Connotational Theory of Program Structure (Lecture Notes in Computer Science) provided by other sites. Please contact the content providers to delete Technical A Connotational Theory of Program Structure (Lecture Notes in Computer Science) if any and email us, we'll remove relevant links or contents immediately.

Book123

Categories

Share With Friends

Archive by Date

Search Tag

Newest

Useful Links

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

Related Articles

DISCLAIMER:

Comments (0) All