John Darlington

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Constrained equational deduction Conditional and Typed Rewriting Systems	2023-03-09	Paper
Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction Rewriting Techniques and Applications	2022-12-09	Paper
scientific article; zbMATH DE number 2090683 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2084787 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 1966242 (Why is no real title available?)	2003-08-18	Paper
scientific article; zbMATH DE number 1875372 (Why is no real title available?)	2003-04-03	Paper
scientific article; zbMATH DE number 1875377 (Why is no real title available?)	2003-04-03	Paper
scientific article; zbMATH DE number 1863352 (Why is no real title available?)	2003-02-04	Paper
ICENI: Optimisation of component applications within a Grid environment. Parallel Computing	2003-01-21	Paper
Minimised geometric Buchberger algorithm for integer programming Annals of Operations Research	2002-08-20	Paper
scientific article; zbMATH DE number 1756145 (Why is no real title available?)	2002-06-16	Paper
Design of high performance financial modelling environment Parallel Computing	2000-06-04	Paper
scientific article; zbMATH DE number 1254003 (Why is no real title available?)	1999-05-30	Paper
scientific article; zbMATH DE number 970727 (Why is no real title available?)	1997-01-23	Paper
scientific article; zbMATH DE number 512893 (Why is no real title available?)	1994-06-13	Paper
scientific article; zbMATH DE number 4013995 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3845032 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3878372 (Why is no real title available?)	1981-01-01	Paper
A synthesis of several sorting algorithms Acta Informatica	1978-01-01	Paper
scientific article; zbMATH DE number 3614149 (Why is no real title available?)	1978-01-01	Paper
scientific article; zbMATH DE number 3630193 (Why is no real title available?)	1978-01-01	Paper
A Transformation System for Developing Recursive Programs Journal of the ACM	1977-01-01	Paper
A system which automatically improves programs Acta Informatica	1976-01-01	Paper
scientific article; zbMATH DE number 3558927 (Why is no real title available?)	1976-01-01	Paper

Research outcomes over time

This page was built for person: John Darlington