Manes / Arbib | Algebraic Approaches to Program Semantics | E-Book | sack.de
E-Book

E-Book, Englisch, 353 Seiten, eBook

Reihe: Monographs in Computer Science

Manes / Arbib Algebraic Approaches to Program Semantics


Erscheinungsjahr 2012
ISBN: 978-1-4612-4962-7
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 353 Seiten, eBook

Reihe: Monographs in Computer Science

ISBN: 978-1-4612-4962-7
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark



In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming languages in which programs could be written in a convenient fashion independent (thanks to compilers and interpreters) of the architecture of any specific machine. The development of such languages led in turn to the general analysis of questions of syntax, structuring strings of symbols which could count as legal programs, and semantics, determining the "meaning" of a program, for example, as the function it computes in transforming input data to output results. An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification. An alternative approach, pioneered by Scott and Strachey, is called denotational semantics: it offers algebraic techniques for characterizing the denotation of (i. e. , the function computed by) a program-the properties of the program can then be checked by direct comparison of the denotation with the specification. This book is an introduction to denotational semantics. More specifically, we introduce the reader to two approaches to denotational semantics: the order semantics of Scott and Strachey and our own partially additive semantics.

Manes / Arbib Algebraic Approaches to Program Semantics jetzt bestellen!

Zielgruppe


Research

Weitere Infos & Material


1 Denotational Semantics of Control.- 1 An Introduction to Denotational Semantics.- 2 An Introduction to Category Theory.- 3 Partially Additive Semantics.- 4 Assertion Semantics.- 2 Semantics of Recursion.- 5 Recursive Specifications.- 6 Order Semantics of Recursion.- 7 Canonical Fixed Points.- 8 Partially Additive Semantics of Recursion.- 9 Fixed Points in Metric Spaces.- 3 Data Types.- 10 Functors.- 11 Recursive Specification of Data Types.- 12 Parametric Specification.- 13 Order Semantics of Data Types.- 14 Equational Specification.- Epilogue.- Author Index.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.