5571 results in Programming Languages and Applied Logic
4 - Implementing algebraic specifications
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 79-110
-
- Chapter
- Export citation
III - Advanced techniques
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 241-242
-
- Chapter
- Export citation
1 - Preliminaries
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 8-17
-
- Chapter
- Export citation
8 - Examples
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 162-218
-
- Chapter
- Export citation
3 - Models and Correctness
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 33-46
-
- Chapter
- Export citation
References
-
- Book:
- Deductive and Declarative Programming
- Published online:
- 24 October 2009
- Print publication:
- 22 October 1992, pp 269-274
-
- Chapter
- Export citation
Formal Specification and Design
-
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992
6 - Setting up state-based specifications
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 143-170
-
- Chapter
- Export citation
List of figures
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp x-xi
-
- Chapter
- Export citation
7 - Structuring state-based specifications
-
- Book:
- Formal Specification and Design
- Published online:
- 02 November 2009
- Print publication:
- 22 October 1992, pp 171-198
-
- Chapter
- Export citation
4 - Data Types
-
- Book:
- Categories and Computer Science
- Published online:
- 03 December 2009
- Print publication:
- 27 August 1992, pp 71-92
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Categories and Computer Science
- Published online:
- 03 December 2009
- Print publication:
- 27 August 1992, pp i-viii
-
- Chapter
- Export citation
2 - Products and Sums
-
- Book:
- Categories and Computer Science
- Published online:
- 03 December 2009
- Print publication:
- 27 August 1992, pp 25-54
-
- Chapter
- Export citation
Index
-
- Book:
- Categories and Computer Science
- Published online:
- 03 December 2009
- Print publication:
- 27 August 1992, pp 163-166
-
- Chapter
- Export citation
7 - Computational Category Theory
-
- Book:
- Categories and Computer Science
- Published online:
- 03 December 2009
- Print publication:
- 27 August 1992, pp 143-160
-
- Chapter
- Export citation
5 - Categories of Functors
-
- Book:
- Categories and Computer Science
- Published online:
- 03 December 2009
- Print publication:
- 27 August 1992, pp 93-128
-
- Chapter
- Export citation
6 - More About Products
-
- Book:
- Categories and Computer Science
- Published online:
- 03 December 2009
- Print publication:
- 27 August 1992, pp 129-142
-
- Chapter
- Export citation
References
-
- Book:
- Categories and Computer Science
- Published online:
- 03 December 2009
- Print publication:
- 27 August 1992, pp 161-162
-
- Chapter
- Export citation
Categories and Computer Science
-
- Published online:
- 03 December 2009
- Print publication:
- 27 August 1992
Contents
-
- Book:
- Categories and Computer Science
- Published online:
- 03 December 2009
- Print publication:
- 27 August 1992, pp ix-x
-
- Chapter
- Export citation