A Connotational Theory of Program Structure (Lecture Notes in Computer Science) (by James S. Royer)


Author(s): James S. Royer

Publisher: Springer
Publish date: 1987-10-05
ISBN-10: 3540182535
ISBN-13: 9783540182535
Language: English
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… more…

Read Source: A Connotational Theory of Program Structure (Lecture Notes in Computer Science) (by James S. Royer)»

Leave a Reply

Your email address will not be published.