Efficiency three ways: tested, verified, and formalised

QR Code

Efficiency three ways: tested, verified, and formalised

Two fundamental goals in programming are correctness and efficiency: we want our programs to produce the right results, and to do so using as few resources as possible. One of the key benefits of the functional programming paradigm is the ability to reason about programs as if they are pure mathe...

Full description

Bibliographic Details
Main Author:	Handley, Martin AT
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2020
Subjects:	Efficiency Correctness Program verification Program analysis Formal reasoning Static analysis Functional programming.
Online Access:	https://eprints.nottingham.ac.uk/63578/

Similar Items

Efficient genetic partitioning-around-medoid algorithm for clustering
by: Garib, Sarmad Makki Mohammed
Published: (2019)

Evolutionary cost-cognizant regression test case prioritization for object-oriented programs
by: Bello, AbdulKarim
Published: (2019)

Narrowing in on property-based testing
by: Fowler, Jonathan
Published: (2019)

An Efficient Method for Generating Optimal OBDD of Boolean Functions
by: Singh, Ashutosh, et al.
Published: (2008)

Testing and debugging functional reactive programming
by: Perez, Ivan, et al.
Published: (2017)

Functional reactive programming, refactored
by: Perez, Ivan, et al.
Published: (2016)

Extensible and robust functional reactive programming
by: Perez Dominguez, Ivan
Published: (2018)

Towards a formally verified functional quantum programming language
by: Green, Alexander S.
Published: (2010)

Design and simulation of a 3D wing box test rig for static test / Leonard Langking
by: Langking, Leonard
Published: (2010)

Symmetric encryption using preshared public parameters for a secure TFTP protocol / Nur Nabila Mohamed
by: Mohamed, Nur Nabila
Published: (2015)

The KL sentral virtua reality simulation / Ainun Maziah Saidina Omar
by: Saidina omar, Ainun Maziah
Published: (2004)

Solving a backtracking intelligently : a case study / Muthukkaruppan Annamalai
by: Annamalai, Muthukkaruppan
Published: (2001)

A new approach to estimate the mix eficiency in data envelopment analysis
by: Asbullah, Muhammad Asyraf, et al.
Published: (2010)

Setting targets with interval data envelopment analysis models via Wang Method
by: Malekmohammadi, Najmeh, et al.
Published: (2010)

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

Autism spectrum disorder screening for toddlers / Muhammad Hafizudin Abdul Hadi
by: Abdul Hadi, Muhammad Hafizudin
Published: (2020)

Distribution of harumanis in Universiti Teknologi Mara Cawangan Perlis by using : goal programming model / 'Ain Syafiqah Abu Sofian
by: Abu Sofian, 'Ain Syafiqah
Published: (2019)

Exam invigilation scheduling system for UiTM Malacca Jasin Campus / Maizatul Akmam Mustapa
by: Mustapa, Maizatul Akmam
Published: (2015)

Linear-pso with binary search algorithm for DNA motif discovery / Hazaruddin Harun
by: Harun, Hazaruddin
Published: (2015)

Exploiting structure in integer programs
by: Mareček, Jakub
Published: (2012)

Satu Pendekatan Geometri Bagi Masalah Pengaturcaraan Linear
by: Jaafar, Azmi
Published: (1997)

Agent Checker Mobile Apps for G6PD deficiency children using Rule-Based Technique / Umairah Mohd Zan
by: Mohd Zan, Umairah
Published: (2020)

Visualizing requirements using use case diagram and diagram 0 for compound information system / Noorihan Abdul Rahman and Nor Asma Mohd Zin
by: Abdul Rahman, Noorihan, et al.
Published: (2018)

Penghasilan suatu sistem pencerap suhu berautomasi / Hamidi A. Hamid, Mahadzir Hj. Din and Nor Arzami Othman
by: A. Hamid, Hamidi, et al.
Published: (2003)

Facilitating statistical software using SS E Guide / N. Ahmad, A.M. Nasir, and S. Masrom
by: N., Ahmad, et al.
Published: (2019)

Kajian terhadap rekabentuk, perisian dan ciri-ciri maklumat kiosk di UiTM (Zon Utara) / Asmadi Mohammed Ghazali…[et al.]
by: Mohammed Ghazali, Asmadi, et al.
Published: (2004)

Functional programming and non-distributivity in pathfinding problems
by: Saenz Carrasco, Juan Carlos
Published: (2016)

A new exact penalty method for semi-infinite programming problems
by: Lin, Qun, et al.
Published: (2014)

Clustering algorithm for market-basket analysis : the underlying concept of data mining technology
by: Abdul Kadir, Khairil Annuar
Published: (2003)

Enhanced Ad Hoc On-Demand Distance Vector Routing Protocol For Mobile Ad Hoc Network Internet Connectivity
by: Gurusamy, Gobi
Published: (2006)

Parallel computing via message passing: comparison between Microsoft MPI and Klyng framework / Nik Nasrul Faiz Nik Yahaya
by: Nik Yahaya, Nik Nasrul Faiz
Published: (2017)

Distributive laws in programming structures
by: Rypacek, Ondrej
Published: (2010)

Nutrient management for rubber plantation using goal programming / Nurul Ain Mohd Razali
by: Mohd Razali, Nurul Ain
Published: (2020)

Smart plant care system using IoT and cloud computing / Muhammad Syamim Samsudin
by: Samsudin, Muhammad Syamim
Published: (2020)

An optimized test case generation technique for enhancing state-sensitivity partitioning
by: Sultan, Ammar Mohammed Dawood
Published: (2017)

A Multi-Criteria Decision Framework for Optimal Augmentation of Transmission Grid - Addressing a Tool for Sensitive Zone Detection in Electricity Market
by: Hesamzadeh, M., et al.
Published: (2008)

Evaluating decision making units under uncertainty using fuzzy multi-objective nonlinear programming
by: Zerafat Angiz, M., et al.
Published: (2016)

Developing web for learning object oriented programming (OOP) using videos / Farah Syazwani Roslan
by: Roslan, Farah Syazwani Roslan
Published: (2020)

School library system using arduino uno and RFID RC-522 / Nur Farah Hanim Raman
by: Raman, Nur Farah Hanim
Published: (2020)

Verbal Helper Application for Autism using Natural Language Processing / Nur Farahin Mohd Affendy
by: Mohd Affendy, Nur Farahin
Published: (2020)