The under-performing unfold: a new approach to optimising corecursive programs

QR Code

The under-performing unfold: a new approach to optimising corecursive programs

This paper presents a new approach to optimising corecursive programs by factorisation. In particular, we focus on programs written using the corecursion operator unfold. We use and expand upon the proof techniques of guarded coinduction and unfold fusion, capturing a pattern of generalising coinduc...

Full description

Bibliographic Details
Main Authors:	Hackett, Jennifer, Hutton, Graham, Jaskelioff, Mauro
Format:	Conference or Workshop Item
Published:	2013
Subjects:	fusion factorisation coinduction unfolds
Online Access:	https://eprints.nottingham.ac.uk/28183/

Similar Items

Haemoglobin unfolding studies at the liquid-liquid interface
by: Herzog, G., et al.
Published: (2011)

Proof Methods for Corecursive Programs
by: Hutton, Graham, et al.
Published: (2005)

Proof methods for structured corecursive programs
by: Gibbons, Jeremy, et al.
Published: (1999)

Fold and Unfold for Program Semantics
by: Hutton, Graham
Published: (1998)

The productivity of polymorphic stream equations and the composition of circular traversals
by: Balestrieri, Florent
Published: (2015)

Bananas in space: extending fold and unfold to exponential types
by: Meijer, Erik, et al.
Published: (1995)

When is a function a fold or an unfold?
by: Gibbons, Jeremy, et al.
Published: (2001)

Programs for cheap!
by: Hackett, Jennifer, et al.
Published: (2015)

Laser Induced Transient Photothermal Radiometry in Opaque Samples
by: Grozescu, Ionel-Valeriu
Published: (1998)

An optimised advanced ash fusion test for power generators
by: Daley, Patrick James
Published: (2019)

Contractive functions on infinite data structures
by: Capretta, Venanzio, et al.
Published: (2017)

Multi-sensor fusion and ground vehicle-assisted localization approach for unmanned aerial vehicle
by: Mohamed, Abdelraziq Sharif Sayed
Published: (2021)

Modularity and implementation of mathematical operational semantics
by: Jaskelioff, Mauro Javier, et al.
Published: (2008)

DPD-DFF: a dual phase distributed scheme with double fingerprint fusion for fast and accurate identification in large databases
by: Peralta, Daniel, et al.
Published: (2016)

Using coalgebra and coinduction to define ontology-based multi-agent systems
by: Hadzic, Maja, et al.
Published: (2008)

Diverse Sphingolipid Species Harbor Different Effects on Ire1 Clustering
by: Bieniawski, Mark A., et al.
Published: (2022)

Worker/wrapper/makes it/faster
by: Hackett, Jennifer, et al.
Published: (2014)

Parametric polymorphism and operational improvement
by: Hackett, Jennifer, et al.
Published: (2018)

Improvement of vertical height accuracy using data fusion technique for terrain mapping in oil palm plantation
by: Muhadi, Nur 'atirah
Published: (2018)

Unfolding the story of dermocosmetics
by: Ab. Hadi, Hazrina
Published: (2018)

Unfolding creativity in design
by: Shaari, Nazlina
Published: (2014)

The argumentative side unfolds
by: Waheed, Moniza
Published: (2021)

Thermofluid optimisation of additive manufacturing high heat flux components for fusion
by: Padrao, Daniel
Published: (2024)

Approach for the semi-automatic verification of 3D building models
by: Helmholz, Petra, et al.
Published: (2013)

The Regulation of Peptide Mimotope/Epitope Recognition by Monoclonal Antibodies
by: Smith, Richard Gary
Published: (2002)

Unfolding the recipes for conflict resolution during the new service development effort
by: Gounaris, Spiros, et al.
Published: (2016)

Developing novel fusion tags to facilitate protein production and structure determination
by: Maurer, Sigrun
Published: (2021)

Hybridity in Bapsi Sidhwa's an American Brat and H.M. Naqvi's home boy
by: Gul, Hina
Published: (2016)

Multibiometric human recognition using 3D ear and face features
by: Islam, Shams, et al.
Published: (2013)

The trinitarian gift unfolded: sacrifice, resurrection, communion
by: Griffiths, John Mark Ainsley
Published: (2015)

Lifting of operations in modular monadic semantics
by: Jaskelioff, Mauro Javier
Published: (2009)

Using dynamic time warping for multi-sensor fusion
by: Ko, Ming Hsiao
Published: (2009)

Comparing non-ipsative measures of party support
by: van der Eijk, Cees, et al.
Published: (2011)

Functional Programming With Relations
by: Hutton, Graham
Published: (1991)

Study of weighted fusion methods for the measurement of surface geometry
by: Wang, Jian, et al.
Published: (2015)

Rapid flood inundation mapping using social media, remote sensing and topographic data
by: Rosser, Julian F., et al.
Published: (2017)

Generating a series of fine spatial and temporal resolution land cover maps by fusing coarse spatial resolution remotely sensed images and fine spatial resolution land cover maps
by: Li, Xiaodong, et al.
Published: (2017)

Fusion of photogrammetry and coherence scanning interferometry data for all-optical coordinate measurement
by: Leach, Richard, et al.
Published: (2018)

Design of a multi-sensor in-situ inspection system for additive manufacturing
by: Dickins, Andrew
Published: (2023)

Impact of scoliosis surgery on activites of daily living in females with Rett Syndrome
by: Downs, Jennepher, et al.
Published: (2009)