A Connotational Theory of Program Structure

A Connotational Theory of Program Structure
Author :
Publisher : Springer
Total Pages : 188
Release :
ISBN-10 : 3662176246
ISBN-13 : 9783662176245
Rating : 4/5 (245 Downloads)

Book Synopsis A Connotational Theory of Program Structure by : James S. Royer

Download or read book A Connotational Theory of Program Structure written by James S. Royer and published by Springer. This book was released on 2014-03-12 with total page 188 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


A Connotational Theory of Program Structure Related Books

A Connotational Theory of Program Structure
Language: en
Pages: 188
Authors: James S. Royer
Categories: Computers
Type: BOOK - Published: 2014-03-12 - Publisher: Springer

DOWNLOAD EBOOK

This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which i
A Connotational Theory of Program Structure
Language: en
Pages: 196
Authors: James S. Royer
Categories: Computers
Type: BOOK - Published: 1987-08-26 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which i
A Recursive Introduction to the Theory of Computation
Language: en
Pages: 155
Authors: Carl Smith
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various e
Advances in Petri Nets 1988
Language: en
Pages: 450
Authors: Grzegorz Rozenberg
Categories: Computers
Type: BOOK - Published: 1988-12-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most represent
Concurrency 88
Language: en
Pages: 412
Authors: Friedrich H. Vogt
Categories: Computers
Type: BOOK - Published: 1988-10-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hambu