Work it, wrap it, fix it, fold it

QR Code

Work it, wrap it, fix it, fold it

The worker/wrapper transformation is a general-purpose technique for refactoring recursive programs to improve their performance. The two previous approaches to formalising the technique were based upon different recursion operators and different correctness conditions. In this paper we show how the...

Full description

Bibliographic Details
Main Authors:	Sculthorpe, Neil, Hutton, Graham
Format:	Article
Published:	Cambridge University Press 2014
Online Access:	https://eprints.nottingham.ac.uk/28182/

Similar Items

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

A Tutorial on the Universality and Expressiveness of Fold
by: Hutton, Graham
Published: (1999)

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)

Improving the Infant-Wrap (InfaWrap) device for neonates using MyI-Wrap mobile application
by: Mohd Hanafi, Abdul Rahim, et al.
Published: (2021)

Development of smart infant-wrap (InfaWrap) device for neonates
by: Mohd Azrul Hisham, Mohd Adib, et al.
Published: (2019)

The Fold
by: Costantino, Thea
Published: (2011)

Towards safe and efficient functional reactive programming
by: Sculthorpe, Neil
Published: (2011)

The comprehensive study of product criteria on infant-wrap (InfaWrap) device: engineering perspective
by: Mohd Hanafi, Abdul Rahim, et al.
Published: (2020)

The comprehensive study of product criteria on infant-wrap (InfaWrap) device: engineering perspective
by: Mohd Hanafi, Abdul Rahim, et al.
Published: (2020)

Folding in Geomaterials
by: Behnoudfar, Pouria
Published: (2021)

On discordance test for the wrapped normal data
by: Adzhar Rambli,, et al.
Published: (2012)

Wrapping Snakes for Improved Lip Segmentation
by: Ramage, M., et al.
Published: (2009)

On the folded normal distribution
by: Tsagris, Michail, et al.
Published: (2014)

Infant-Wrap (InfaWrap) device as pediatric technology tool: The heart rate and SpO2 monitoring for neonates
by: Mohd Hanafi, Abdul Rahim, et al.
Published: (2022)

ICoLLT 2018 has wrapped up
by: Hanisah, Kasbon
Published: (2018)

Computer simulations of protein folding
by: Williams, Haydn Wyn
Published: (2011)

Design and fabrication of folding chair
by: Mohd Sani, Idris
Published: (2009)

Design and fabrication of folding table
by: Mohd Rosdi, Hussin
Published: (2009)

RC beams strengthened with longitudinal and U-wrap FRP
by: Pham, Thong, et al.
Published: (2016)

Effect of different FRP wrapping arrangements on the confinement mechanism
by: Pham, Thong, et al.
Published: (2016)

Effect of different FRP wrapping arrangements on the confinement mechanism
by: Pham, Thong, et al.
Published: (2016)

Corrosion of steel reinforcements embedded in FRP wrapped concrete
by: Gadve, S., et al.
Published: (2009)

Computational studies of folding and binding of polypeptides
by: Turpin, Eleanor R.
Published: (2013)

A Proposal for Folding in ORM Diagrams
by: Morgan, Tony
Published: (2010)

Corrosion protection of fiber-reinforced polymer-wrapped reinforced concrete
by: Gadve, S., et al.
Published: (2010)

Jimba Fest Tour Concert wraps up UMP Expoconvo
by: UMP, PNC
Published: (2018)

Secret wrapped in a banana leaf origins of Malay kuih
by: The Star
Published: (2020)

Classification of protein fold classes by knot theory and prediction of folds by neural networks: A combined theoretical and experimental approach
by: Ramnarayan, K., et al.
Published: (2007)

Toric Fano three-folds with terminal singularities
by: Kasprzyk, Alexander M.
Published: (2006)

Symmetric and folded Tori connected Torus Network
by: Rahman, M.M. Hafizur, et al.
Published: (2011)

Speech rehabilitation of Paradoxical Vocal Fold Movement
by: Shobha Sharma,, et al.
Published: (2007)

A bias-exchange approach to protein folding
by: Piana, Stefano, et al.
Published: (2007)

New approach to folding with the Coulomb wave function
by: Blokhintsev, L., et al.
Published: (2015)

Antifungal Peptide Modeling, Folding and Mimetic Design
by: Moradi, Shoeib
Published: (2009)

Dynamic compressive response of wrapped carbon fibre composite corrugated cores
by: Liu, Tao, et al.
Published: (2017)

Ultrasonic guided waves for monitoring corrosion of FRP wrapped concrete structures
by: Sharma, A., et al.
Published: (2015)

Traditional Food Wrapping And Packaging : Culture And Identity Of The Saribas Malay, Sarawak
by: Faridah, Sahari, et al.
Published: (2017)

A Review on Carbon Fiber Reinforced Polymer as Wrapping Structures For Pipeline
by: Letchumanan, S.M., et al.
Published: (2023)

A Review on Carbon Fiber Reinforced Polymer as Wrapping Structures For Pipeline
by: S.M. Letchumanan, S.M. Letchumanan, et al.
Published: (2023)