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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: John Darlington