Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Burstall, R.
37  Ergebnisse:
Personensuche X
?
1

Sculpting an effective design protection system:

Pang, W. ; Burstall, R.
Journal of Intellectual Property Law & Practice.  7 (2012)  6 - p. 430-436 , 2012
Link: https://doi.org/10.1093/..
 
?
2

Liability of landlords for infringing activities:

O'Byrne, P. ; Burstall, R.
Journal of Intellectual Property Law & Practice.  6 (2011)  10 - p. 738-742 , 2011
Link: https://doi.org/10.1093/..
 
?
3

Pebble, a kernel language for modules and abstract data typ..:

Lampson, B. ; Burstall, R.
Information and Computation.  76 (1988)  2-3 - p. 278-346 , 1988
Link: https://doi.org/10.1016/..
 
?
4

Inductively defined functions in functional programming lan..:

Burstall, R.M.
Journal of Computer and System Sciences.  34 (1987)  2-3 - p. 409-421 , 1987
Link: https://doi.org/10.1016/..
 
?
5

Some fundamental algebraic tools for the semantics of compu..:

Goguen, J.A. ; Burstall, R.M.
Theoretical Computer Science.  31 (1984)  3 - p. 263-295 , 1984
Link: https://doi.org/10.1016/..
 
?
6

Some fundamental algebraic tools for the semantics of compu..:

Goguen, J.A. ; Burstall, R.M.
Theoretical Computer Science.  31 (1984)  1-2 - p. 175-209 , 1984
Link: https://doi.org/10.1016/..
 
?
7

Deriving very efficient algorithms for evaluating linear re..:

Pettorossi, A. ; Burstall, R.M.
Acta Informatica.  18 (1982)  2 - p. , 1982
Link: https://doi.org/10.1007/..
 
?
8

HOPE : An experimental applicative language:

, In: Proceedings of the 1980 ACM conference on LISP and functional programming,
Burstall, R. M. ; MacQueen, D. B. ; Sannella, D. T. - p. 136-143 , 1980
Link: https://dl.acm.org/doi/1..
 
?
9

Applicative programming:

, In: Proceedings of the 4th international conference on Software engineering,
Burstall, R. M. - p. 110 ff. , 1979
Link: https://dl.acm.org/doi/1..
 
?
10

A Transformation System for Developing Recursive Programs:

Burstall, R. M. ; Darlington, John
Journal of the ACM.  24 (1977)  1 - p. 44-67 , 1977
Link: https://doi.org/10.1145/..
 
?
11

A Transformation System for Developing Recursive Programs:

Burstall, R. M. ; Darlington, John
Journal of the ACM (JACM).  24 (1977)  1 - p. 44-67 , 1977
Link: https://dl.acm.org/doi/1..
 
?
12

A system which automatically improves programs:

Darlington, J. ; Burstall, R. M.
Acta Informatica.  6 (1976)  1 - p. 41-60 , 1976
Link: https://doi.org/10.1007/..
 
?
13

Subgraph isomorphism, matching relational structures and ma..:

Barrow, H.G. ; Burstall, R.M.
Information Processing Letters.  4 (1976)  4 - p. 83-84 , 1976
Link: https://doi.org/10.1016/..
 
?
14

Some transformations for developing recursive programs:

, In: Proceedings of the international conference on Reliable software,
Burstall, R. M. ; Darlington, John - p. 465-472 , 1975
Link: https://dl.acm.org/doi/1..
 
?
15

Some transformations for developing recursive programs:

Burstall, R. M. ; Darlington, John
ACM SIGPLAN Notices.  10 (1975)  6 - p. 465-472 , 1975
Link: https://doi.org/10.1145/..
 
1-15