| A polymorphic type system for Prolog A Mycroft, RA O'Keefe Artificial intelligence 23 (3), 295-307, 1984 | 476 | 1984 |
| Abstract interpretation and optimising transformations for applicative programs A Mycroft The University of Edinburgh, 1982 | 330 | 1982 |
| Kilim: Isolation-typed actors for java S Srinivasan, A Mycroft European Conference on Object-Oriented Programming, 104-128, 2008 | 286 | 2008 |
| Polymorphic type schemes and recursive definitions A Mycroft International Symposium on Programming, 217-228, 1984 | 286 | 1984 |
| The theory and practice of transforming call-by-need into call-by-value A Mycroft International symposium on programming, 269-281, 1980 | 244 | 1980 |
| Data flow analysis of applicative programs using minimal function graphs ND Jones, A Mycroft Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986 | 173 | 1986 |
| Type-based decompilation (or program reconstruction via type reconstruction) A Mycroft European Symposium on Programming, 208-223, 1999 | 152 | 1999 |
| Stepwise Development of Operational and Denotational Semantics for Prolog. ND Jones, A Mycroft SLP 84, 281-288, 1984 | 137 | 1984 |
| On the relationship of CCS and Petri nets U Goltz, A Mycroft International Colloquium on Automata, Languages, and Programming, 196-208, 1984 | 117 | 1984 |
| Rendezvous: A search engine for binary code WM Khoo, A Mycroft, R Anderson 2013 10th Working Conference on Mining Software Repositories (MSR), 329-338, 2013 | 114 | 2013 |
| A lightweight in-place implementation for software thread-level speculation CE Oancea, A Mycroft, T Harris Proceedings of the twenty-first annual symposium on Parallelism in …, 2009 | 85 | 2009 |
| Redux: A dynamic dataflow tracer N Nethercote, A Mycroft Electronic Notes in Theoretical Computer Science 89 (2), 149-170, 2003 | 73 | 2003 |
| A relational framework for abstract interpretation A Mycroft, ND Jones Programs as Data Objects, 156-171, 1986 | 66 | 1986 |
| Coeffects: a calculus of context-dependent computation T Petricek, D Orchard, A Mycroft ACM SIGPLAN Notices 49 (9), 123-135, 2014 | 65 | 2014 |
| Task partitioning for multi-core network processors R Ennals, R Sharp, A Mycroft International Conference on Compiler Construction, 76-90, 2005 | 61 | 2005 |
| A statically allocated parallel functional language A Mycroft, R Sharp International Colloquium on Automata, Languages, and Programming, 37-48, 2000 | 60 | 2000 |
| Java 8 in action RG Urma, M Fusco, A Mycroft Manning publications, 2014 | 58 | 2014 |
| Linear types for packet processing R Ennals, R Sharp, A Mycroft European Symposium on Programming, 204-218, 2004 | 55 | 2004 |
| Source-code queries with graph databases—with application to programming language usage and evolution RG Urma, A Mycroft Science of Computer Programming 97, 127-134, 2015 | 53 | 2015 |
| Coeffects: Unified static analysis of context-dependence T Petricek, D Orchard, A Mycroft International Colloquium on Automata, Languages, and Programming, 385-397, 2013 | 51 | 2013 |
Dominic OrchardUniversity of KentBestätigte E-Mail-Adresse bei kent.ac.uk
