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 ine ective, 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.
Upcoming ...


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
Weather research site
Luftdruck (356m): 958.4 hPa
Lufttemperatur: 4.1 °C
Niederschlag: 0.0 mm/24h
Sonnenschein: <1 h/d

...more
Globalstrahlung: 4 W/m²
Lufttemperatur: 1.3 °C
Niederschlag: 0.0 mm/24h
Wind (Höhe 32m): 16.7 km/h

...more
This site makes use of cookies More information