F. Warren Burton

53 papers A 2Journal 46Unranked 4
YearRankTypeTitle / Venue / Authors
2006 — conf
Smarter garbage collection with simplifiers.
Memory System Performance and Correctness
Melissa E. O'Neill, F. Warren Burton
2000 J jnl
Memory requirements for parallel programs.
Parallel Comput.
F. Warren Burton, David J. Simpson
1999 J jnl
Space Efficient Execution of Deterministic Parallel Programs.
IEEE Trans. Software Eng.
David J. Simpson, F. Warren Burton
1997 J jnl
A New Method for Functional Arrays.
J. Funct. Program.
Melissa E. O'Neill, F. Warren Burton
1996 J jnl
Guaranteeing Good Memory Bound for Parallel Programs.
IEEE Trans. Software Eng.
F. Warren Burton
1994 J jnl
A Definite and Unfoldable, Partially Deterministic Language.
Comput. J.
W. Ken Jackson, F. Warren Burton
1994 J jnl
Worst Case Scheduling for Parallel Functional Programs.
J. Funct. Program.
F. Warren Burton, Victor J. Rayward-Smith
1993 J jnl
Improving Intervals.
J. Funct. Program.
W. Ken Jackson, F. Warren Burton
1993 J jnl
Pattern Matching with Abstract Data Types.
J. Funct. Program.
F. Warren Burton, Robert D. Cameron
1992 J jnl
Distributed Random Number Generation.
J. Funct. Program.
F. Warren Burton, Rex L. Page
1991 J jnl
Encapsulating Non-Determinacy in an Abstract Data Type with Determinate Semantics.
J. Funct. Program.
F. Warren Burton
1991 J jnl
Reply to "Subtypes and Quantification".
ACM Trans. Program. Lang. Syst.
F. Warren Burton
1990 J jnl
Applications of UET Scheduling Theory to the Implementation of Declarative Languages.
Comput. J.
F. Warren Burton, Geoff P. McKeown, Victor J. Rayward-Smith
1990 J jnl
Implementation of Overlapping B-Trees for Time and Space Efficient Representation of Collections of Similar Files.
Comput. J.
F. Warren Burton, John G. Kollias, D. G. Matsakis, V. G. Kollias
1990 J jnl
Type Extension Through Polymorphism.
ACM Trans. Program. Lang. Syst.
F. Warren Burton
1989 J jnl
A Note on Higher-Order Functions Versus Logical Variables.
Inf. Process. Lett.
F. Warren Burton
1989 J jnl
Functional Programming with Quadtrees.
IEEE Softw.
F. Warren Burton, John G. Kollias
1989 — conf
Indeterminate Behavior with Determinate Semantics in Parallel Programs.
FPCA
F. Warren Burton
1988 J jnl
Alpha-beta search on virtual tree machines.
Inf. Sci.
Matthew M. Huntbach, F. Warren Burton
1988 J jnl
Nondeterminism with Referential Transparency in Functional Programming Languages.
Comput. J.
F. Warren Burton
1988 J jnl
On Process Assignment in Parallel Computing.
Inf. Process. Lett.
F. Warren Burton, Geoff P. McKeown, Victor J. Rayward-Smith
1988 J jnl
Reduction of Storage Requirements by Sharing Common Information in an Office Information System.
Angew. Inform.
F. Warren Burton, John G. Kollias
1988 J jnl
Storage Management in Virtual Tree Machines.
IEEE Trans. Computers
F. Warren Burton
1988 J jnl
The general problem solving algorithm and its implementation.
New Gener. Comput.
Victor J. Rayward-Smith, Geoff P. McKeown, F. Warren Burton
1987 J jnl
A General PASCAL Program for Map Overlay of Quadtrees and Related Problems.
Comput. J.
F. Warren Burton, V. J. Kollias, John G. Kollias
1987 J jnl
A Space-Efficient Optimization of Call-by-Need.
IEEE Trans. Software Eng.
F. Warren Burton, Dieter Maurer, Hans-Georg Oberhauser, Reinhard Wilhelm
1987 J jnl
Batched Interpolation Search.
Comput. J.
Yannis Manolopoulos, John G. Kollias, F. Warren Burton
1987 J jnl
Functional Programming for Concurrent and Distributed Computing.
Comput. J.
F. Warren Burton
1986 J jnl
Buddy Systems with Selective Splitting.
Comput. J.
N. M. Pitman, F. Warren Burton, E. W. Haddon
1986 — conf
Controlling reduction partial order in functional parallel programs.
Graph Reduction
F. Warren Burton
1986 J jnl
Real-Time Raster to Quadtree and Quadtree to Raster Conversion Algorithms with Modest Storage Requirements.
Angew. Inform.
F. Warren Burton, V. J. Kollias, John G. Kollias
1985 A conf
Controlling Speculative Computation in a Parallel Functional Programming Language.
ICDCS
F. Warren Burton
1985 J jnl
Efficient Combinator Code.
Comput. Lang.
Mike S. Joy, Victor J. Rayward-Smith, F. Warren Burton
1985 J jnl
Expected and worst-case storage requirements for quadtrees.
Pattern Recognit. Lett.
F. Warren Burton, Vassiliki J. Kollias, John G. Kollias
1985 J jnl
Multiple Generation Text Files Using Overlapping Tree Structures.
Comput. J.
F. Warren Burton, Matthew M. Huntbach, John G. Kollias
1985 J jnl
Speculative Computation, Parallelism, and Functional Programming.
IEEE Trans. Computers
F. Warren Burton
1984 J jnl
An implementation of the exponential pyramid data structure with application to determination of symmetries in pictures.
Comput. Vis. Graph. Image Process.
F. Warren Burton, John G. Kollias, Nikitas A. Alexandridis
1984 J jnl
Annotations to Control Parallelism, Reduction Order in the Distributed Evaluation of Functional Programs.
ACM Trans. Program. Lang. Syst.
F. Warren Burton
1984 J jnl
Consistency in Point-in-Point Polygon Tests.
Comput. J.
F. Warren Burton, V. J. Kollias, John G. Kollias
1984 J jnl
Lazy Evaluation of Geometric Objects.
IEEE Computer Graphics and Applications
F. Warren Burton, Matthew M. Huntbach
1984 J jnl
Virtual Tree Machines.
IEEE Trans. Computers
F. Warren Burton, Matthew M. Huntbach
1982 J jnl
A Linear Space Translation of Functional Programs to Turner Combinators.
Inf. Process. Lett.
F. Warren Burton
1982 J jnl
An Efficient Functional Implementation of FIFO Queues.
Inf. Process. Lett.
F. Warren Burton
1981 J jnl
Abstract Data Types, Subtypes and Data Independence.
Comput. J.
F. Warren Burton, Brian Lings
1981 — conf
Executing functional programs on a virtual tree of processors.
FPCA
F. Warren Burton, M. Ronan Sleep
1981 J jnl
Expected Complexity of Fast Search with Uniformly Distributed Data.
Inf. Process. Lett.
Gilbert N. Lewis, Nancy J. Boynton, F. Warren Burton
1981 A conf
Towards a Zero Assignment Parallel Processor.
ICDCS
M. Ronan Sleep, F. Warren Burton
1980 J jnl
A Robust Variation of Interpolation Search.
Inf. Process. Lett.
F. Warren Burton, Gilbert N. Lewis
1980 J jnl
FACETS: A Language Feature for security and Flexibility.
Aust. Comput. J.
F. Warren Burton, Brian Lings
1979 J jnl
A FORTRAN Preprocessor to Support Encapsulated Data Abstraction Definitions.
Comput. J.
F. Warren Burton
1979 J jnl
Optimising Disc Head Movements in Secondary Key Retrievals.
Comput. J.
F. Warren Burton, John G. Kollias
1978 J jnl
Comments on: Sorting by Distributive Partitioning.
Inf. Process. Lett.
F. Warren Burton
1976 — —
Computer Processing of Points Curves and Regions.
F. Warren Burton