15 results
Introduction to the 37th International Conference on Logic Programming Special Issue II
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 6 / November 2021
- Published online by Cambridge University Press:
- 23 November 2021, pp. 698-699
-
- Article
-
- You have access
- Export citation
Introduction to the 37th International Conference on Logic Programming Special Issue I
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 5 / September 2021
- Published online by Cambridge University Press:
- 05 November 2021, pp. 521-526
-
- Article
-
- You have access
- Export citation
Frontmatter
-
- Book:
- Systematic Program Design
- Published online:
- 05 June 2013
- Print publication:
- 20 May 2013, pp i-vi
-
- Chapter
- Export citation
6 - Objects: incrementalize across module abstraction
-
- Book:
- Systematic Program Design
- Published online:
- 05 June 2013
- Print publication:
- 20 May 2013, pp 151-186
-
- Chapter
- Export citation
7 - Conclusion
-
- Book:
- Systematic Program Design
- Published online:
- 05 June 2013
- Print publication:
- 20 May 2013, pp 187-212
-
- Chapter
- Export citation
5 - Rules: iterate, incrementalize, and implement
-
- Book:
- Systematic Program Design
- Published online:
- 05 June 2013
- Print publication:
- 20 May 2013, pp 117-150
-
- Chapter
- Export citation
2 - Loops: incrementalize
-
- Book:
- Systematic Program Design
- Published online:
- 05 June 2013
- Print publication:
- 20 May 2013, pp 22-52
-
- Chapter
- Export citation
Index
-
- Book:
- Systematic Program Design
- Published online:
- 05 June 2013
- Print publication:
- 20 May 2013, pp 235-240
-
- Chapter
- Export citation
4 - Recursion: iterate and incrementalize
-
- Book:
- Systematic Program Design
- Published online:
- 05 June 2013
- Print publication:
- 20 May 2013, pp 83-116
-
- Chapter
- Export citation
Contents
-
- Book:
- Systematic Program Design
- Published online:
- 05 June 2013
- Print publication:
- 20 May 2013, pp vii-viii
-
- Chapter
- Export citation
Systematic Program Design
- From Clarity to Efficiency
-
- Published online:
- 05 June 2013
- Print publication:
- 20 May 2013
Preface
-
- Book:
- Systematic Program Design
- Published online:
- 05 June 2013
- Print publication:
- 20 May 2013, pp ix-xvi
-
- Chapter
- Export citation
3 - Sets: incrementalize and implement
-
- Book:
- Systematic Program Design
- Published online:
- 05 June 2013
- Print publication:
- 20 May 2013, pp 53-82
-
- Chapter
- Export citation
References
-
- Book:
- Systematic Program Design
- Published online:
- 05 June 2013
- Print publication:
- 20 May 2013, pp 213-234
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Systematic Program Design
- Published online:
- 05 June 2013
- Print publication:
- 20 May 2013, pp 1-21
-
- Chapter
- Export citation