Roland Backhouse
Roland Backhouse
Professor of Computing Science, University of Nottingha
Bestätigte E-Mail-Adresse bei cs.nott.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
Program construction and verification
RC Backhouse
Prentice-Hall, Inc., 1986
2421986
Generic programming
R Backhouse, P Jansson, J Jeuring, L Meertens
International School on Advanced Functional Programming, 28-115, 1998
2311998
Regular algebra applied to path-finding problems
RC Backhouse, BA Carré
IMA Journal of Applied Mathematics 15 (2), 161-186, 1975
2071975
Syntax of programming languages: theory and practice
RC Backhouse
Prentice-Hall, Inc., 1979
1261979
Do-it-yourself type theory
R Backhouse, P Chisholm, G Malcolm, E Saaman
Formal Aspects of Computing 1 (1), 19-84, 1989
1241989
Program Construction
R Backhouse
John Wiley and Sons, Inc, 2003
1052003
An exploration of the Bird-Meertens formalism
RC Backhouse
University of Groningen, Department of Mathematics and Computing Science, 1988
1051988
Galois connections and fixed point calculus
R Backhouse
Algebraic and coalgebraic methods in the mathematics of program construction …, 2002
96*2002
Polynomial relators
RC Backhouse, PJ de Bruin, PF Hoogendijk, G Malcolm, E Voermans, ...
AMAST 91, 303-362, 1991
921991
A relational theory of datatypes
C Aarts, RC Backhouse, P Hoogendijk, E Voermans, J Van der Woude
December, 1992
831992
Elements of a relational theory of datatypes
R Backhouse, P Hoogendijk
Formal program development, 7-42, 1993
811993
Demonic operators and monotype factors
RC Backhouse, J Woude
Mathematical Structures in Computer Science 3 (4), 417-433, 1993
801993
Relational catamorphisms
RC Backhouse, P De Bruin, G Malcolm, TS Voermans, J Van der Woude
Proceedings of the IFIP TC2/WG2 1, 287-318, 1991
771991
A calculational approach to mathematical induction
H Doornbos, R Backhouse, J Van Der Woude
Theoretical Computer Science 179 (1-2), 103-135, 1997
681997
A relational theory of datatypes
RC Backhouse, P Hoogendijk, E Voermans, J van der Woude
Eindhoven University of Technology, Dept. of Mathematics and Computer Science, 1992
631992
Safety of abstract interpretations for free, via logical relations and Galois connections
K Backhouse, R Backhouse
Science of Computer Programming 51 (1-2), 153-196, 2004
592004
Calculating path algorithms
RC Backhouse, J Van Den Eijnde, AJM Van Gasteren
Science of Computer Programming 22 (1-2), 3-19, 1994
491994
On the meaning and construction of the rules in Martin-Löf's theory of types
R Backhouse
University of Groningen, Department of Mathematics and Computing Science, 1986
491986
Closure algorithms and the star-height problem of regular languages
RC Backhouse
Imperial College London, 1976
401976
Categorical fixed point calculus
R Backhouse, M Bijsterveld, R van Geldrop, J Van Der Woude
International Conference on Category Theory and Computer Science, 159-179, 1995
381995
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20