Alan Mycroft
Identifiers
- name variant Alan Mycroft 0.60 · backfill
Papers (5)
- Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers cs.PL · 2018 · author #3
- Flow- and Context-Sensitive Points-to Analysis using Generalized Points-to Graphs cs.PL · 2016 · author #3
- The semantic marriage of monads and effects cs.PL · 2014 · author #3
- Lazy Pointer Analysis cs.PL · 2011 · author #2
- Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software cs.PL · 2011 · author #2
Mentions
Frequent Coauthors
- Uday P. Khedker 3 shared papers
- Pritam M. Gharat 2 shared papers
- Dominic Orchard 1 shared papers
- Kohei Honda 1 shared papers
- Prashant Singh Rawat 1 shared papers
- Tomas Petricek 1 shared papers