Authors
Roland Backhouse, Patrik Jansson, Johan Jeuring, Lambert Meertens
Publication date
1999
Conference
Advanced Functional Programming: Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures 3
Pages
28-115
Publisher
Springer Berlin Heidelberg
Description
The development of science proceeds in a cycle of activities, the so-called abstraction-specialisation cycle. Abstraction is the process of seeking patterns or commonalities, which are then classified, often in a formal mathematical framework. In the process of abstraction, we gain greater understanding by eliminating irrelevant detail in order to identify what is essential. The result is a collection of general laws which are then put to use in the second phase of the cycle, the specialisation phase. In the specialisation phase the general laws are instantiated to specific cases which, if the abstraction is a good one, leads to novel applications, yet greater understanding, and input for another round of abstraction followed by specialisation.
Total citations
19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220237152016241414231451418117372610151222
Scholar articles
R Backhouse, P Jansson, J Jeuring, L Meertens - … Programming: Third International School, AFP'98 …, 1999