Takip et
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
2701986
Generic programming
R Backhouse, P Jansson, J Jeuring, L Meertens
Advanced Functional Programming: Third International School, AFP’98, Braga …, 1999
2421999
Regular algebra applied to path-finding problems
RC Backhouse, BA Carré
IMA Journal of Applied Mathematics 15 (2), 161-186, 1975
2391975
Syntax of programming languages: theory and practice
RC Backhouse
Prentice-Hall, Inc., 1979
1551979
Elements of a relational theory of datatypes
R Backhouse, P Hoogendijk
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report, 7-42, 1993
1531993
Do-it-yourself type theory
R Backhouse, P Chisholm, G Malcolm, E Saaman
Formal Aspects of Computing 1, 19-84, 1989
1321989
An exploration of the Bird-Meertens formalism
RC Backhouse
University of Groningen, Department of Mathematics and Computing Science, 1988
1171988
Program Construction
R Backhouse
John Wiley and Sons, Inc, 2003
1132003
Galois connections and fixed point calculus
R Backhouse
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction …, 2002
112*2002
Polynomial relators
RC Backhouse, PJ de Bruin, PF Hoogendijk
Technische Universiteit Eindhoven, 1991
981991
Demonic operators and monotype factors
R Backhouse, J van der Woude
Mathematical Structures in Computer Science 3 (4), 417-433, 1993
891993
A relational theory of datatypes
CJ Aarts, RC Backhouse, PF Hoogendijk, TS Voermans, J van der Woude
Technische Universiteit Eindhoven, 1992
841992
Relational catamorphisms
RC Backhouse, PJ de Bruin, GR Malcolm, TS Voermans, ...
Technische Universiteit Eindhoven, 1991
781991
A calculational approach to mathematical induction
H Doornbos, R Backhouse, J Van Der Woude
Theoretical Computer Science 179 (1-2), 103-135, 1997
741997
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
612004
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
R Backhouse, R Crole, J Gibbons
Springer, 2003
552003
Calculating path algorithms
RC Backhouse, J Van Den Eijnde, AJM Van Gasteren
Science of Computer Programming 22 (1-2), 3-19, 1994
531994
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
511986
Closure algorithms and the star-height problem of regular languages
R Backhouse
PhD thesis, Imperial College, 1975
491975
Categorical fixed point calculus
R Backhouse, M Bijsterveld, R van Geldrop, J van der Woude
Category Theory and Computer Science: 6th International Conference, CTCS'95 …, 1995
431995
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20