1763 results in Software Engineering and Development
Part XIV - Mutable State
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 299-300
-
- Chapter
- Export citation
37 - Nested Parallelism
- from Part XV - Parallelism
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 335-349
-
- Chapter
- Export citation
6 - Type Safety
- from Part II - Statics and Dynamics
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 48-52
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp i-iv
-
- Chapter
- Export citation
14 - Generic Programming
- from Part VI - Infinite Data Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 119-124
-
- Chapter
- Export citation
Part XV - Parallelism
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 333-334
-
- Chapter
- Export citation
30 - Continuations
- from Part XII - Control Flow
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 266-274
-
- Chapter
- Export citation
Part IV - Finite Data Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 77-78
-
- Chapter
- Export citation
28 - Control Stacks
- from Part XII - Control Flow
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 253-259
-
- Chapter
- Export citation
22 - Dynamic Typing
- from Part IX - Dynamic Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 189-197
-
- Chapter
- Export citation
Part II - Statics and Dynamics
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 31-32
-
- Chapter
- Export citation
Real-Time Software Design for Embedded Systems
-
- Published online:
- 05 March 2016
- Print publication:
- 26 May 2016
Practical Foundations for Programming Languages
-
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016
Building High Integrity Applications with SPARK
-
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015
Index
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 363-367
-
- Chapter
- Export citation
9 - Advanced Techniques
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 326-354
-
- Chapter
- Export citation
8 - Software Engineering with Spark
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 286-325
-
- Chapter
- Export citation
4 - Dependency Contracts
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 99-134
-
- Chapter
- Export citation
3 - Programming in the Large
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 68-98
-
- Chapter
- Export citation
1 - Introduction and Overview
-
- Book:
- Building High Integrity Applications with SPARK
- Published online:
- 05 October 2015
- Print publication:
- 31 August 2015, pp 1-17
-
- Chapter
- Export citation