Rod M. Burstall

Available identifiers

zbMath Open burstall.rod-mWikidataQ7356136 ScholiaQ7356136MaRDI QIDQ1183596

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5416166	2014-05-19	Paper
My Friend Joseph Goguen	2007-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q2766806	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2708319	2001-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q4499291	2001-03-05	Paper
Christopher Strachey -- understanding programming languages	2000-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4263880	2000-02-28	Paper
Institutions: abstract model theory for specification and programming	1994-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4281657	1994-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4040030	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4012880	1992-09-27	Paper
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories	1992-06-28	Paper
Pebble, a kernel language for modules and abstract data types	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3819967	1988-01-01	Paper
Inductively defined functions in functional programming languages	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4723263	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4725714	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4725721	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3687692	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3698294	1985-01-01	Paper
Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories	1984-01-01	Paper
Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3332238	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3345748	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3042444	1983-01-01	Paper
Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3667921	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3875323	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3906394	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3912003	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4178463	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
Subgraph isomorphism, matching relational structures and maximal cliques	1976-01-01	Paper
A versatile system for computer-controlled assembly	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138103	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4054648	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5674963	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5620341	1971-01-01	Paper
Proving Properties of Programs by Structural Induction	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5618896	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5626275	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5615722	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5617312	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5642015	1968-01-01	Paper
Computer Design of Electricity Supply Networks by a Heuristic Method	1966-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: Rod M. Burstall