Cargando…
Transitions and Trees : an Introduction to Structural Operational Semantics.
A rigorous, self-contained introduction to the theory of operational semantics of programming languages and its use.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge :
Cambridge University Press,
2010.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn818817503 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr unu|||||||| | ||
| 008 | 121120s2010 enk ob 001 0 eng d | ||
| 010 | |z 2010282941 | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d OCLCQ |d OTZ |d OCLCO |d OCLCF |d OCLCQ |d DEBSZ |d N$T |d YDXCP |d CAMBR |d E7B |d IUL |d IDEBK |d OCLCQ |d AU@ |d UKAHL |d OCLCQ |d S8J |d OCLCQ |d VLY |d OCLCO |d OCLCQ | ||
| 019 | |a 816041318 |a 817224487 |a 817920148 |a 1162093030 | ||
| 020 | |a 9781139778756 | ||
| 020 | |a 1139778757 | ||
| 020 | |a 9781139775717 |q (electronic bk.) | ||
| 020 | |a 1139775715 |q (electronic bk.) | ||
| 020 | |a 113978174X |q (electronic bk.) | ||
| 020 | |a 9781139781749 |q (electronic bk.) | ||
| 020 | |a 9780511840449 |q (electronic bk.) | ||
| 020 | |a 0511840446 |q (electronic bk.) | ||
| 020 | |z 9780521197465 |q (hardback) | ||
| 020 | |z 0521197465 |q (hardback) | ||
| 020 | |z 9780521147095 |q (paperback) | ||
| 020 | |z 0521147093 |q (paperback) | ||
| 020 | |a 1316086712 | ||
| 020 | |a 9781316086711 | ||
| 020 | |a 1107253330 | ||
| 020 | |a 9781107253339 | ||
| 020 | |a 1139777238 | ||
| 020 | |a 9781139777230 | ||
| 029 | 1 | |a AU@ |b 000050633830 | |
| 029 | 1 | |a CHNEW |b 000622800 | |
| 029 | 1 | |a DEBSZ |b 431245541 | |
| 035 | |a (OCoLC)818817503 |z (OCoLC)816041318 |z (OCoLC)817224487 |z (OCoLC)817920148 |z (OCoLC)1162093030 | ||
| 050 | 4 | |a QA76.7 .H88 2010 | |
| 072 | 7 | |a COM |x 051010 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.131 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Hüttel, Hans. | |
| 245 | 1 | 0 | |a Transitions and Trees : |b an Introduction to Structural Operational Semantics. |
| 260 | |a Cambridge : |b Cambridge University Press, |c 2010. | ||
| 300 | |a 1 online resource (292 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 505 | 0 | |a Cover; Transitions and Trees; Title; Copyright; Contents; Preface; About this book; Related work; What you need to know in advance; Ways through the book; Problems and thoughts; Related resources; Acknowledgements; About the illustrations; Illustrations; Tables; PART I: BACKGROUND; 1 A question of semantics; 1.1 Semantics is the study of meaning; 1.2 Examples from the history of programming languages; 1.2.1 ALGOL 60; 1.2.2 Pascal; 1.3 Different approaches to program semantics; 1.4 Applications of program semantics; 1.4.1 Standards for implementation. | |
| 505 | 8 | |a 1.4.2 Generating interpreters and compilers1.4.3 Verification and debugging -- lessons learned; The Mars Climate Orbiter; Software verification methods and tools; 1.4.4 The principles of programming languages; 2 Mathematical preliminaries; 2.1 Mathematical induction; 2.2 Logical notation; 2.2.1 Boolean connectives; 2.2.2 Quantifiers; 2.3 Sets; 2.4 Operations on sets; 2.4.1 Union; 2.4.2 Intersection; 2.4.3 Power set; 2.4.4 Cartesian product; 2.5 Relations; 2.6 Functions; 2.6.1 Partial and total functions; 2.6.2 Defining functions; 2.6.3 Function spaces; PART II: FIRST EXAMPLES. | |
| 505 | 8 | |a 3 The basic principles3.1 Abstract syntax; 3.1.1 The language Bims and its abstract syntax; 3.1.2 Some useful conventions; 3.2 Transition systems; 3.3 Big-step vs. small-step semantics; 3.4 Operational semantics of arithmetic expressions; 3.4.1 A big-step semantics of Aexp; Defining a structural operational semantics; How to build a derivation tree; 3.4.2 A small-step semantics of Aexp; 3.5 Proving properties; 3.5.1 Determinacy; 3.6 A semantics of Boolean expressions; 3.7 The elements of an operational semantics; 4 Basic imperative statements; 4.1 Program states. | |
| 505 | 8 | |a 4.1.1 A new big-step operational semantics of Aexp4.1.2 A new big-step operational semantics of Bexp; 4.2 A big-step semantics of statements; 4.2.1 The transition system for Stm; 4.2.2 On building derivation trees; A large example; Termination in the big-step semantics; 4.3 A small-step semantics of statements in Bims; 4.4 Equivalence of the two semantics; 4.5 Two important proof techniques; PART III: LANGUAGE CONSTRUCTS; 5 Control structures; 5.1 Some general assumptions; 5.2 Loop constructs; 5.2.1 Repeat-loops; 5.3 Semantic equivalence; 5.3.1 For-loops; 5.4 Abnormal termination. | |
| 505 | 8 | |a 5.5 Nondeterminism5.6 Concurrency; 6 Blocks and procedures (1); 6.1 Abstract syntax of Bip; 6.2 The environment-store model; 6.3 Arithmetic and Boolean expressions; 6.4 Declarations; 6.4.1 Declaring variables; 6.4.2 Procedure declarations; 6.5 Statements; 6.6 Scope rules; 6.6.1 Fully dynamic scope rules; 6.6.2 Mixed scope rules; 6.6.3 Fully static scope rules; 7 Parameters; 7.1 The language Bump; 7.1.1 Syntax of Bump; 7.1.2 Basic assumptions about our semantics; 7.2 Call-by-reference; 7.3 On recursive and non-recursive procedure calls; 7.4 Call-by-value; 7.5 Call-by-name. | |
| 500 | |a 7.5.1 The informal description of call-by-name. | ||
| 520 | |a A rigorous, self-contained introduction to the theory of operational semantics of programming languages and its use. | ||
| 588 | 0 | |a Print version record. | |
| 504 | |a Includes bibliographical references and index. | ||
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Programming languages (Electronic computers) |x Semantics. | |
| 650 | 6 | |a Langages de programmation |x Sémantique. | |
| 650 | 7 | |a COMPUTERS |x Programming Languages |x General. |2 bisacsh | |
| 650 | 7 | |a Programming languages (Electronic computers) |x Semantics. |2 fast |0 (OCoLC)fst01078716 | |
| 776 | 0 | 8 | |i Print version: |a Hüttel, Hans. |t Transitions and Trees : An Introduction to Structural Operational Semantics. |d Cambridge : Cambridge University Press, ©2010 |z 9780521197465 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=490521 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH34201992 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26478630 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1042404 | ||
| 938 | |a ebrary |b EBRY |n ebr10618580 | ||
| 938 | |a EBSCOhost |b EBSC |n 490521 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis24126304 | ||
| 938 | |a YBP Library Services |b YANK |n 9921564 | ||
| 938 | |a YBP Library Services |b YANK |n 9894105 | ||
| 938 | |a YBP Library Services |b YANK |n 9897005 | ||
| 938 | |a YBP Library Services |b YANK |n 9590099 | ||
| 994 | |a 92 |b IZTAP | ||