12 citations · 14 across the 6 of their papers we have counts for
6 papers · 1 filter
Galois connecting call-by-value and call-by-name
Dylan McDermott, Alan Mycroft
We establish a general framework for reasoning about the relationship between call-by-value and call-by-name. In languages with computational effects, call-by-value and call-by-nam…
Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers
Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
Flow- and context-sensitive points-to analysis is difficult to scale; for top-down approaches, the problem centers on repeated analysis of the same procedure; for bottom-up approac…
The semantic marriage of monads and effects
Dominic Orchard, Tomas Petricek, Alan Mycroft
Wadler and Thiemann unified type-and-effect systems with monadic semantics via a syntactic correspondence and soundness results with respect to an operational semantics. They conje…
Lazy Pointer Analysis
Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat
Flow- and context-sensitive pointer analysis is generally considered too expensive for large programs; most tools relax one or both of the requirements for scalability. We formulat…
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software
Kohei Honda, Alan Mycroft
This is the proceedings of PLACES'10, the 3rd Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, held in Pathos, Cyprus, on 21st Mach, 2…
Efficient and Correct Stencil Computation via Pattern Matching and Static Typing
Dominic Orchard, Alan Mycroft
Stencil computations, involving operations over the elements of an array, are a common programming pattern in scientific computing, games, and image processing. As a programming pa…