Roland Backhouse
Roland Backhouse
Professor of Computing Science, University of Nottingha
cs.nott.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Program construction and verification
RC Backhouse
Prentice-Hall, Inc., 1986
2451986
Generic programming
R Backhouse, P Jansson, J Jeuring, L Meertens
International School on Advanced Functional Programming, 28-115, 1998
2351998
Regular algebra applied to path-finding problems
RC Backhouse, BA Carré
IMA Journal of Applied Mathematics 15 (2), 161-186, 1975
2101975
Syntax of programming languages: theory and practice
RC Backhouse
Prentice-Hall, Inc., 1979
1331979
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
1042003
An exploration of the Bird-Meertens formalism
RC Backhouse
University of Groningen, Department of Mathematics and Computing Science, 1988
1031988
Galois connections and fixed point calculus
R Backhouse
Algebraic and coalgebraic methods in the mathematics of program construction …, 2002
97*2002
Polynomial relators
RC Backhouse, PJ de Bruin, PF Hoogendijk, G Malcolm, E Voermans, ...
AMAST 91, 303-362, 1991
891991
A relational theory of datatypes
CJ Aarts, RC Backhouse, P Hoogendijk, E Voermans, J Van der Woude
Available via anonymous ftp from ftp. win. tue. nl in directory pub/math …, 1992
831992
Demonic operators and monotype factors
R Backhouse, J Van Der 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
781991
Elements of a relational theory of datatypes
R Backhouse, P Hoogendijk
Formal program development, 7-42, 1993
751993
A calculational approach to mathematical induction
H Doornbos, R Backhouse, J Van Der Woude
Theoretical Computer Science 179 (1-2), 103-135, 1997
671997
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
552004
Calculating path algorithms
RC Backhouse, J Van Den Eijnde, AJM Van Gasteren
Science of Computer Programming 22 (1-2), 3-19, 1994
471994
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
461986
Closure algorithms and the star-height problem of regular languages
RC Backhouse
Imperial College London, 1976
391976
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
371995
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20