A Connotational Theory of Program Structure

A Connotational Theory of Program Structure von Royer James S. (Autor)

Autor: Royer, James S.

Verleger: Springer-Verlag GmbH

Genre: Hardcover/Informatik

ISBN: 3540182535

EAN/ISBN-13: 9783540182535

Sprache: eng

Veröffentlichung: September 2007


 
 
Klappentext zu A Connotational Theory of Program Structure
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. TOC:Contents: Motivations, Background, and Basic Definitions.- Effective Numberings, Completions, and Control Structures.- Some Special Effective Numberings.- Characterizations of Acceptability.- Independence of Control Structures.- General Programming Properties of Effective Numberings of Subrecursive Classes.- Bibliography.- Notation Index.- Definition Index.

Inhaltsverzeichnis
Contents: Motivations, Background, and Basic Definitions.- Effective Numberings, Completions, and Control Structures.- Some Special Effective Numberings.- Characterizations of Acceptability.- Independence of Control Structures.- General Programming Properties of Effective Numberings of Subrecursive Classes.- Bibliography.- Notation Index.- Definition Index.

weitere passende Bücher

Systems That Learn: An Introduction to Learning Theory

Formal learning theory is one of several mathematical approaches to the study of intelligent adaptation to the environment. The analysis developed in this book is based on a number theoretical …


geschrieben von Sanjay Jain (Autor) und James S. Royer (Autor) und Arun Kumar Sharma (Autor)

Subrecursive Programming Systems

This book is suitable for researchers aquainted with the theory of computation and comfortable with mathematical proofs. It can also be used by computer science and mathematics advanced undergraduates …

What this book is about - subrecursive programming systems, relative succinctness trade-offs, the toolkit; outline of Part I - a subrecursion programming systems toolkit; outline of Part II - program …


geschrieben von James S. Royer (Autor) und John Case (Autor)

Data Mining for Association Rules and Sequential Patterns: Sequential and Parallel Algorithms

The book provides a unified presentation of algorithms for association rule and sequential pattern discovery. For both mining problems, the presentation relies on the lattice structure of the search …

Introduction.- Search Space Partition-Based Rule Mining.- Apriori and Other Algorithms.- Mining for Rules Over Attribute Taxonomies.- Constraint-Based Rule Mining.- Data Partition-Based Rule Mining.- …


geschrieben von Jean-Marc Adamo (Autor)

Foundations in IT Service Management basierend auf ITIL

In recent years, IT Service Management has developed into a field in its own right. Organizations are now so dependent on the automation of large parts of their business processes that the quality of …


geschrieben von Jan van Bon (Herausgeber)

Auf der Suche nach Sinn

Der Autor begegnet in seiner psychotherapeutischen Praxis, in Gesprächen mit Kollegen und als Ausbilder von Psychotherapeuten seit geraumer Zeit einem Phänomen, das in der Psychotherapie …


geschrieben von Nossrat Peseschkian (Autor)

Lateinisch. Sprachlehrgang. Lehrbuch

Dieses Lehrbuch ist für Lernende in der Erwachsenenbildung geeignet, die Latein von Anfang an erlernen oder Lateinkenntnisse auffrischen möchten. Mit einfachen Lesestücken bis zu …


geschrieben von Karl Rösler (Autor)

Die Münchner Boheme

Die Münchner Bohème am Anfang dieses Jahrhunderts: Das waren die >elf Scharfrichter<, der >Simplicissimus<, die Münchner Maler-Avantgarde,der Naturphilosoph Gustav Gräser, der erste …


geschrieben von Hermann Wilhelm (Autor)

Electoral Change Since 1945

This book explores the nature of electoral change in Britain during the last half century. The period from 1945-70 was the classic era of two-party dominance at every level of British politics: at …

List of Tables and Figures. Preface. Part I: The Nature of Electoral Change: 1. Electoral Change 1945-1970. 2. Electoral Change 1970-1992. 3. The British Party System. 4. Explaining Electoral Change. …


geschrieben von Pippa Norris (Autor)

Buddha

Gautama Siddharta, unter dem Titel "Buddha" ("der Erwachte") bekannt ist der Stifter der historisch ältesten Weltreligion. Seine Lehre prägte die Kulturen Indiens, Japans, Chinas und Tibets. …


geschrieben von Volker Zotz (Autor)

Der Kirschgarten

Anton Cechov wird 1860 in Taganrog (Südrußland) geboren. Die Familie lebt in Armut. Die Kinder müssen um fünf Uhr aufstehen und vor der Schule im Laden arbeiten. Doch bald schon …

Die verwitwete Ljubov Andreevna Ranevskaja kehrt nach langem Aufenthalt in Frankreich auf ihr russisches Gut zurück, das von einem riesigen Kirschgarten umgeben ist. Sie ist von der …


geschrieben von Peter Urban (Übersetzung) und Anton Tschechow (Autor)


durchsuche buecher-lounge.de

  • Loading