John Darlington

Available identifiers

zbMath Open darlington.johnMaRDI QIDQ1610886

List of research outcomes

Publication	Date of Publication	Type
Constrained equational deduction	2023-03-09	Paper
Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4813172	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4735946	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4420569	2003-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4796136	2003-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q4796141	2003-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q4790617	2003-02-04	Paper
ICENI: Optimisation of component applications within a Grid environment.	2003-01-21	Paper
Minimised geometric Buchberger algorithm for integer programming	2002-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4535925	2002-06-16	Paper
Design of high performance financial modelling environment	2000-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4226983	1999-05-30	Paper
https://portal.mardi4nfdi.de/entity/Q5688913	1997-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4281599	1994-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q3026312	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3314972	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3343451	1981-01-01	Paper
A synthesis of several sorting algorithms	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4178463	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4191574	1978-01-01	Paper
A Transformation System for Developing Recursive Programs	1977-01-01	Paper
A system which automatically improves programs	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4130966	1976-01-01	Paper

Research outcomes over time

This page was built for person: John Darlington