AutoBench: comparing the time performance of Haskell programs

QR Code

AutoBench: comparing the time performance of Haskell programs

Two fundamental goals in programming are correctness (producing the right results) and efficiency (using as few resources as possible). Property-based testing tools such as QuickCheck provide a lightweight means to check the correctness of Haskell programs, but what about their efficiency? In this a...

Full description

Bibliographic Details
Main Authors:	Handley, Martin A.T., Hutton, Graham
Format:	Conference or Workshop Item
Language:	English
Published:	2018
Subjects:	Time performance; Optimisation; Benchmarking
Online Access:	https://eprints.nottingham.ac.uk/54754/

Similar Items

Monadic parsing in Haskell
by: Hutton, Graham, et al.
Published: (1998)

Polymonad programming in Haskell
by: Bracker, Jan, et al.
Published: (2016)

Theorem proving for all: equational reasoning in Liquid Haskell
by: Vazou, Niki, et al.
Published: (2018)

Influence of total quality management on job performance of employees / Mohamad Azraei Hazny Abd Hafiz and Syed Hafiz Syed Fairudz
by: Abd Hafiz, Mohamad Azraei Hazny, et al.
Published: (2012)

Benchmarking as a New Mode of Coordination in Federal Systems
by: Fenna, Alan, et al.
Published: (2015)

Benchmarking in federal systems
by: Fenna, Alan
Published: (2012)

Rhythm and temporality: a phenomenological examination of music performance
by: Boast, Philip James
Published: (2018)

Performance curve approach to optimising fluidising water for Knelson concentrators
by: Subasinghe, Nimal
Published: (2012)

Benchmarking practice for ports terminal operations: A comparative study between theoretical and practical approaches
by: Faruquee, Murtaza
Published: (2015)

Application of environmental performance analysis for urban design with Computational Fluid Dynamics (CFD) and EcoTect tools: the case of Cao Fei Dian eco-city, China
by: Cheshmehzangi, Ali, et al.
Published: (2017)

Investigating the influence of lean six sigma practices on quality performance in medical device manufacturing industry / Sim Choon Ling...[et al.]
by: Sim, Choone Ling, et al.
Published: (2019)

A study on the factors influencing service quality dimensions towards organizational performance at ProEight Offshore Engineering Sdn. Bhd. / Muhammad Hafiz Md Radzi
by: Md Radzi, Muhammad Hafiz
Published: (2011)

On-Line Energy-Use Benchmarking System for Industries in Malaysia
by: Ernest, Kamala
Published: (2004)

An attempt to re-balance the balanced scorecard towards a sustainable performance measurement system / Noel Yahanpath and Syrus Islam.
by: Yahanpath, Noel, et al.
Published: (2016)

Performance Comparison in Australian Federalism
by: Fenna, Alan
Published: (2014)

Total quality management and SME performance: the mediating of innovation in Malaysia / Nurazree Mahmud ... [et al.]
by: Mahmud, Nurazree, et al.
Published: (2019)

The netball performance test: maximising performance and minimising injury in non-elite sport
by: McManus, Alexandra, et al.
Published: (2005)

Total quality management, firm performance, and the moderating role of competitive intensity / Ramatu Abdulkareem Abubakar, Kabiru Maitama Kura and Kabiru Jinjiri Ringim
by: Abubakar, Ramatu Abdulkareem, et al.
Published: (2018)

Moving with and Without Music: Scaling and Lapsing in Time in the Performance of Contemporary Dance
by: Stevens, C., et al.
Published: (2009)

Benchmarking in Federal Systems
by: Fenna, Alan
Published: (2010)

Mutual Fund Performance in an Emerging Market: Evidence for Vietnam
by: Dinh, Khanh Duy
Published: (2018)

UPM Kampus Bintulu dan UPM Serdang sertai program di Jepun
by: Utusan, Sarawak
Published: (2025)

Factors that contributes to the on-time delivery performance of Hicom Diecasting Sdn Bhd, Shah Alam / Nursyahida Rosli
by: Rosli, Nursyahida
Published: (2010)

Effective internal audit: a performance index / Razimah Abdullah
by: Abdullah, Razimah
Published: (2009)

Acceptance of technological changes and job performance among administrative support personnel in the government offices in Maran, Pahang Darul Makmur / Hazlin Hasan and Feridah Hj Mohd Nadzar
by: Hasan, Hazlin, et al.
Published: (2010)

The functional dendritic cell algorithm: a formal specification with Haskell
by: Greensmith, Julie, et al.
Published: (2017)

The relationship between leadership behaviour and organizational commitment on quality management practices among administrative officers in International Islamic University Malaysia (IIUM) / Ilmyzat Ismail
by: Ismail, Ilmyzat
Published: (2014)

Comparing Simulations and Graphical Representations of Complexities of Benchmark and Large-Variable Circuits
by: Prasad, P., et al.
Published: (2010)

Motor timing and covariation with time perception: investigating the role of handedness
by: O’Regan, Louise, et al.
Published: (2017)

Optimisation of treatment of cancer based on principles of pharmacokinetics
by: Lee, Jong Bong
Published: (2018)

'An Indirect Genetic Algorithm for Set Covering Problems'
by: Aickelin, Uwe
Published: (2002)

An Indirect Genetic Algorithm for Set Covering Problems
by: Aickelin, Uwe
Published: (2002)

Ethical decision making of Malaysian external auditors / Razana Juhaida Johari
by: Johari, Razana Juhaida
Published: (2013)

Developing a framework for best practices of governance of State Statutory Bodies (SSB) in Sarawak / Ambrose Anak Dango
by: Dango, Ambrose
Published: (2015)

Design and development of integrated quality management model based on TQM, LM and EMS in Malaysian automotive companies / Noor Azlina Mohd Salleh
by: Mohd Salleh, Noor Azlina
Published: (2014)

Current and ideal practice of quality management in Malaysia / Julian Paul Sidin … [et al.]
by: Sidin, Julian Paul, et al.
Published: (2007)

Honouring Dennis Haskell: a poet, and an amigo of Asiatic and Asian literature
by: Quayum, Mohammad Abdul
Published: (2019)

Advanced control strategies for PMSM drive system in high-performance electric racing application
by: Wang, Sunbo
Published: (2025)

Pembangunan JIG robot pengimpal bagi mengoptimakan masa pengajaran dan pembelajaran dalam kelas pembuatan (Development of JIG robot welding to optimize teaching and learning time in manufacturing classes) / Norfauzi T. ... [et al.]
by: T., Norfauzi, et al.
Published: (2017)

Target Costing implementation decision and organizational capabilities from the perspectives of the balanced scorecard model: a study on Malaysian automotive industry / Hussein Hussein Hamood Sharaf Addin
by: Sharaf Addin, Hussein Hussein Hamood
Published: (2015)