Alan Mycroft
Alan Mycroft
Professor of Computing, University of Cambridge
Verified email at cl.cam.ac.uk - Homepage
Title
Cited by
Cited by
Year
A polymorphic type system for Prolog
A Mycroft, RA O'Keefe
Artificial intelligence 23 (3), 295-307, 1984
4801984
Abstract interpretation and optimising transformations for applicative programs
A Mycroft
The University of Edinburgh, 1982
3271982
Polymorphic type schemes and recursive definitions
A Mycroft
International Symposium on Programming, 217-228, 1984
2881984
Kilim: Isolation-typed actors for java
S Srinivasan, A Mycroft
European Conference on Object-Oriented Programming, 104-128, 2008
2782008
The theory and practice of transforming call-by-need into call-by-value
A Mycroft
International symposium on programming, 269-281, 1980
2491980
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
1791986
Type-based decompilation (or program reconstruction via type reconstruction)
A Mycroft
European Symposium on Programming, 208-223, 1999
1501999
Stepwise Development of Operational and Denotational Semantics for Prolog.
ND Jones, A Mycroft
SLP 84, 281-288, 1984
1431984
On the relationship of CCS and Petri nets
U Goltz, A Mycroft
International Colloquium on Automata, Languages, and Programming, 196-208, 1984
1221984
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
1022013
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
792009
Redux: A dynamic dataflow tracer
N Nethercote, A Mycroft
Electronic Notes in Theoretical Computer Science 89 (2), 149-170, 2003
722003
A relational framework for abstract interpretation
A Mycroft, ND Jones
Programs as Data Objects, 156-171, 1986
701986
Coeffects: a calculus of context-dependent computation
T Petricek, D Orchard, A Mycroft
ACM SIGPLAN Notices 49 (9), 123-135, 2014
632014
Task partitioning for multi-core network processors
R Ennals, R Sharp, A Mycroft
International Conference on Compiler Construction, 76-90, 2005
602005
A statically allocated parallel functional language
A Mycroft, R Sharp
International Colloquium on Automata, Languages, and Programming, 37-48, 2000
592000
Linear types for packet processing
R Ennals, R Sharp, A Mycroft
European Symposium on Programming, 204-218, 2004
552004
Java 8 in action
RG Urma, M Fusco, A Mycroft
Manning publications, 2014
522014
Logic programs and many-valued logic
A Mycroft
Annual Symposium on Theoretical Aspects of Computer Science, 274-286, 1984
511984
Combined code motion and register allocation using the value state dependence graph
N Johnson, A Mycroft
International Conference on Compiler Construction, 1-16, 2003
482003
The system can't perform the operation now. Try again later.
Articles 1–20