A Connotational Theory of Program Structure

Autor:: James S. Royer
Wydawnictwo:: Springer-Verlag GmbH
Liczba stron:: 196
Format:: 235 mm x 155 mm x 10 mm
ISBN-13/EAN:: 9783540182535
ISBN-10:: 3540182535
Rok wydania:: sierpień 1987 r.
Waga:: 304 g
Realizacja:: ok. 7-10 dni + wysyłka

A Connotational Theory of Program Structure, sierpień 1987 r. : 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.

Książki kupowane lub oglądane razem z pozycją "A Connotational Theory of Program Structure":

Algorithmic Language and Program Development F. L. Bauer, H. Wössner
312.00 zł Die richtigen Strategien!Die Erfahrung einer modernen Personalexpertin unterstützt
Codes for Boundary-Value Problems in Ordinary Differential Equations P. Nelson, M. Scott, B. Childs, J. W. Daniel, E. Denman
306.00 zł Codes for Boundary-Value Problems in Ordinary Differential Equations
Algorithm Design in Optical Networking Bin Wu
419.00 zł This book focuses on algorithmic aspect of optical networking. Efficient algorithms are designed for
Education and Technology for a Better World
851.00 zł This book constitutes the refereed proceedings of the 9th IFIP TC 3 World Conference on computers in
Ambient Assistive Health and Wellness Management in the Heart of the City Mounir Mokhtari
278.00 zł This book constitutes the refereed proceedings of the 7th International Conference On Smart Homes and
Professional ethics Ian Stoodley
419.00 zł IT professionals work in an environment which isunder continual innovation, exerts a global influenceand
Parallel Evolutionary Computations N. Nedjah, E. Alba, L. de Macedo Mourelle
596.00 zł This book focuses on the aspects related to the parallelization of evolutionary computations, such as
The Impact of Computer Technology on Language Arts Literacy Scores James Ruffin
313.00 zł The requirement to accurately measure the impact of educational technology has become more critical then