12 citations · 14 across the 6 of their papers we have counts for
Showing 2011Show all
3 papers · 1 filter
cs.PL2011
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…
cs.PL2011★ 1 cited
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…
cs.PL2011★ 12 cited
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…