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 Colloquium: |
---|
Th. 2024-04-18 The Canvas of Change: Creative Marketing for Behaviour Change, Sustainability and Social Good |
Th. 2024-04-18 Survival, 'dormancy', and resuscitation of microorganisms in water-limited environments: insights from coastal salt flats and desert soil crusts |
BayCEER Short Courses: |
Tu. 2024-04-16 Geographical information system and R environment for conservation biology |
Ecological-Botanical Garden: |
Su. 2024-04-07 Führung | Talking Tree: Was Bäume über´s Klima erzählen |
Fr. 2024-04-19 Führung | Gesteine im Ökologisch-Botanischen Garten |