Trancón y Widemann, B: Coalgebaic semantics of recursion on circular data structures, CALCO Young Researchers Workshop 2011, 28-42 (2012) | |
Abstract: In functional programming, the combination of recursive functions and circular data is traditionally regarded as ineective, causing vicious circles and hence nontermination. We propose an alternative, coalgebraic perspective that encompasses everything from high-level semantics of data and functions to low-level implementations of evaluation strategies. Under this new perspective, circular data as represented by cycles of pointers among cells in memory can be processed with corecursive functions and predicates realized as search problems. The information required to escape the vicious circles is readily available, assuming a certain style of call-by-value conventions. The basic evaluation techniques, their current implementation and some example applications are described. |
BayCEER-Kolloquium: |
---|
Do. 25.04.2024 Perspectives and challenges in the restoration and conservation of two isolated habitats: gypsum and cliffs |
BayCEER Short Courses: |
Mi. 24.04.2024 Mobile Film Making Workshop (for PhDs/PostDosc/Profs of BayCEER) |
Fr. 26.04.2024 Mobile Film Making Workshop (for students of BayCEER) |
Ökologisch-Botanischer Garten: |
So. 21.04.2024 Führung | Den ÖBG kennenlernen: Allgemeine Gartenführung |
Fr. 26.04.2024 Aktion | Kräuterreich & regional: Backkunst im ÖBG (zus. mit HWK) |