The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Geoffrey L. Burn: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Chris Hankin, Geoffrey L. Burn, Simon L. Peyton Jones
    A Safe Approach to Parallel Combinator Reduction (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ESOP, 1986, pp:99-110 [Conf]
  2. Geoffrey L. Burn
    The Abstract interpretation of Higher-Order Functional Languages: From Properties to Absract Domains (Technical Summary). [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1991, pp:56-72 [Conf]
  3. Geoffrey L. Burn
    A Logical Framework for Program Analysis. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1992, pp:30-42 [Conf]
  4. Geoffrey L. Burn
    Evaluation transformers - a model for the parallel evaluation of functional languages (extended abstract). [Citation Graph (0, 0)][DBLP]
    FPCA, 1987, pp:446-470 [Conf]
  5. Sigbjorn Finne, Geoffrey L. Burn
    Assessing the Evaluation Transformer Model of Reduction on the Spineless G-machine. [Citation Graph (0, 0)][DBLP]
    FPCA, 1993, pp:331-340 [Conf]
  6. Geoffrey L. Burn
    The Abstract Interpretation of Functional Languages. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:3-14 [Conf]
  7. Juarez Muylaert Filho, Geoffrey L. Burn
    Continuation Passing Transformation and Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:247-259 [Conf]
  8. Geoffrey L. Burn
    Using Projection Analysis of Evaluation-Order and Its Application. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1990, pp:227-240 [Conf]
  9. Geoffrey L. Burn, Simon L. Peyton Jones, J. D. Robson
    The Spineless G-Machine. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1988, pp:244-258 [Conf]
  10. Geoffrey L. Burn
    Overview of a Parallel Reduction Machine Project II. [Citation Graph (0, 0)][DBLP]
    PARLE (1), 1989, pp:385-396 [Conf]
  11. D. I. Bevan, Geoffrey L. Burn, R. J. Karia
    Overview of a Parallel Reduction Machine Project. [Citation Graph (0, 0)][DBLP]
    PARLE (1), 1987, pp:394-413 [Conf]
  12. Geoffrey L. Burn, Chris Hankin, Samson Abramsky
    The theory of strictness analysis for higher order functions. [Citation Graph (0, 0)][DBLP]
    Programs as Data Objects, 1985, pp:42-62 [Conf]
  13. Geoffrey L. Burn, Daniel Le Métayer
    Proving the Correctness of Compiler Optimizations Based on Strictness Analysis. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:346-364 [Conf]
  14. Geoffrey L. Burn
    A Relationship Between Abstract Interpretation and Projection Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1990, pp:151-156 [Conf]
  15. Geoffrey L. Burn
    The Evaluation Transformer Model of Reduction and Its Correctness. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:458-482 [Conf]
  16. D. I. Bevan, Geoffrey L. Burn, R. J. Karia, J. D. Robson
    Principles For the Design of a Distributed Memory Architecture for Parallel Graph Reduction. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1989, v:32, n:5, pp:461-469 [Journal]
  17. Hugh Kingdon, David R. Lester, Geoffrey L. Burn
    The HDG-Machine: A Highly Distributed Graph-Reducer for a Transputer Network. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1991, v:34, n:4, pp:290-301 [Journal]
  18. Geoffrey L. Burn
    Implementing the Evaluation Transformer Model of Reduction on Parallel Machines. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1991, v:1, n:3, pp:329-366 [Journal]
  19. Geoffrey L. Burn, Daniel Le Métayer
    Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:1, pp:75-109 [Journal]
  20. Geoffrey L. Burn, Chris Hankin, Samson Abramsky
    Strictness Analysis for Higher-Order Functions. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1986, v:7, n:3, pp:249-278 [Journal]
  21. Chris Hankin, Geoffrey L. Burn, Simon L. Peyton Jones
    A Safe Approach to Parallel Combinator Reduction. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:56, n:, pp:17-36 [Journal]

Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002