5571 results in Programming Languages and Applied Logic
A plea for weaker frameworks
- from Frameworks
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 40-68
-
- Chapter
- Export citation
Type Theory
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 253-254
-
- Chapter
- Export citation
The Boyer-Moore prover and Nuprl: an experimental comparison
- from Implementations
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 89-119
-
- Chapter
- Export citation
Chapter 4 - An Initial Algebra Framework for Unifying the Structured Models
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp 35-69
-
- Chapter
- Export citation
Chapter 1 - Introduction
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp 1-3
-
- Chapter
- Export citation
Chapter 5 - A Functorial Framework for Unifying the Structured Models
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp 70-93
-
- Chapter
- Export citation
Chapter 6 - The Identification of Unstructuredness
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp 94-114
-
- Chapter
- Export citation
Preface
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp vii-viii
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp i-iv
-
- Chapter
- Export citation
Bibliography
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp 168-177
-
- Chapter
- Export citation
Chapter 7 - A Prototype System to Implement the Unifying Framework
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp 115-165
-
- Chapter
- Export citation
Chapter 3 - A Comparison with Related Work
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp 19-34
-
- Chapter
- Export citation
Contents
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp v-vi
-
- Chapter
- Export citation
Index
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp 178-179
-
- Chapter
- Export citation
Chapter 8 - Conclusion
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp 166-167
-
- Chapter
- Export citation
Chapter 2 - Desirable Features of Systems Development Environments
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp 4-18
-
- Chapter
- Export citation
List of Tables and Figures
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp ix-xii
-
- Chapter
- Export citation
A Unifying Framework for Structured Analysis and Design Models
- An Approach Using Initial Algebra Semantics and Category Theory
-
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991
Part 1 - Formal methods and verification
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 63-64
-
- Chapter
- Export citation
4 - Verification of a systolic algorithm in process algebra
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 139-158
-
- Chapter
- Export citation