5571 results in Programming Languages and Applied Logic
Chapter 4 - Basic
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 59-66
-
- Chapter
- Export citation
Appendix F - Meta-Notation
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 336-346
-
- Chapter
- Export citation
Chapter 9 - Reflective
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 114-119
-
- Chapter
- Export citation
Appendix C - Operational Semantics
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 278-295
-
- Chapter
- Export citation
14 - Equations for 3-valued if-then-else
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 182-187
-
- Chapter
- Export citation
Chapter 12 - Literals
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 136-141
-
- Chapter
- Export citation
Chapter 3 - Algebraic Specifications
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 36-56
-
- Chapter
- Export citation
Part III - Metatheory
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 146-146
-
- Chapter
- Export citation
Chapter 8 - Imperative
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 108-113
-
- Chapter
- Export citation
Chapter 6 - Functional
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 88-97
-
- Chapter
- Export citation
Chapter 14 - Declarations
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 152-162
-
- Chapter
- Export citation
Chapter 13 - Expressions
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 142-151
-
- Chapter
- Export citation
Introduction
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 1-22
-
- Chapter
- Export citation
2 - Natural Choice Operators
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 31-45
-
- Chapter
- Export citation
5 - The Boolean Algebra of Summands
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 80-89
-
- Chapter
- Export citation
List of Boxes
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp xiii-xiv
-
- Chapter
- Export citation
3 - Polymorphic Iterates
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 46-70
-
- Chapter
- Export citation
Appendix A - AD Action Semantics
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 231-260
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp i-iv
-
- Chapter
- Export citation
Part I - Finite Coproducts
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 23-23
-
- Chapter
- Export citation