5571 results in Programming Languages and Applied Logic
4 - Semantics of recursion
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 66-86
-
- Chapter
- Export citation
13 - The strong preorder
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 167-179
-
- Chapter
- Export citation
Index of concepts and identifiers
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 221-223
-
- Chapter
- Export citation
0 - Introduction
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 1-11
-
- Chapter
- Export citation
List of symbols
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp xiii-xiv
-
- Chapter
- Export citation
6 - Relational semantics
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 101-108
-
- Chapter
- Export citation
5 - Ramifications
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 87-100
-
- Chapter
- Export citation
15 - Predicative fairness
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 193-207
-
- Chapter
- Export citation
3 - Healthiness laws
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 58-65
-
- Chapter
- Export citation
11 - Induction and semantic equality
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 149-159
-
- Chapter
- Export citation
8 - Syntactic criteria
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 116-129
-
- Chapter
- Export citation
9 - Operational semantics of recursion
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 130-142
-
- Chapter
- Export citation
7 - Determinacy and disjunctivity
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 109-115
-
- Chapter
- Export citation
Contents
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp v-x
-
- Chapter
- Export citation
1 - Weakest preconditions
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 12-31
-
- Chapter
- Export citation
16 - Solutions of exercises
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 208-216
-
- Chapter
- Export citation
2 - Annotation, recursion and repetition
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 32-57
-
- Chapter
- Export citation
15 - Performance evaluation
-
- Book:
- Compiling with Continuations
- Published online:
- 15 December 2009
- Print publication:
- 29 November 1991, pp 179-204
-
- Chapter
- Export citation
Index
-
- Book:
- Compiling with Continuations
- Published online:
- 15 December 2009
- Print publication:
- 29 November 1991, pp 256-260
-
- Chapter
- Export citation
2 - Continuation-passing style
-
- Book:
- Compiling with Continuations
- Published online:
- 15 December 2009
- Print publication:
- 29 November 1991, pp 11-22
-
- Chapter
- Export citation