Obserwuj
Alan Mycroft
Alan Mycroft
Professor of Computing, University of Cambridge
Zweryfikowany adres z cl.cam.ac.uk - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
A polymorphic type system for Prolog
A Mycroft, RA O'Keefe
Artificial intelligence 23 (3), 295-307, 1984
5291984
Abstract interpretation and optimising transformations for applicative programs
A Mycroft
The University of Edinburgh, 1982
3391982
Polymorphic type schemes and recursive definitions
A Mycroft
International Symposium on Programming: 6th Colloquium Toulouse, April 17–19 …, 1984
3081984
Kilim: Isolation-Typed Actors for Java: (A Million Actors, Safe Zero-Copy Communication)
S Srinivasan, A Mycroft
ECOOP 2008–Object-Oriented Programming: 22nd European Conference Paphos …, 2008
2932008
The theory and practice of transforming call-by-need into call-by-value
A Mycroft
International Symposium on Programming: Proceedings of the Fourth ‘Colloque …, 1980
2671980
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
1811986
Type-based decompilation (or program reconstruction via type reconstruction)
A Mycroft
Programming Languages and Systems: 8th European Symposium on Programming …, 1999
1621999
Stepwise Development of Operational and Denotational Semantics for Prolog.
ND Jones, A Mycroft
SLP 84, 281-288, 1984
1481984
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
1442013
On the relationship of CCS and Petri nets
U Goltz, A Mycroft
Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July …, 1984
1281984
Coeffects: a calculus of context-dependent computation
T Petricek, D Orchard, A Mycroft
ACM SIGPLAN Notices 49 (9), 123-135, 2014
982014
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
912009
Redux: A dynamic dataflow tracer
N Nethercote, A Mycroft
Electronic Notes in Theoretical Computer Science 89 (2), 149-170, 2003
752003
Java 8 in action
RG Urma, M Fusco, A Mycroft
Manning publications, 2014
712014
A relational framework for abstract interpretation
A Mycroft, ND Jones
Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark …, 2005
692005
A statically allocated parallel functional language
A Mycroft, R Sharp
Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2000
662000
Task partitioning for multi-core network processors
R Ennals, R Sharp, A Mycroft
Compiler Construction: 14th International Conference, CC 2005, Held as Part …, 2005
642005
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
632015
Linear types for packet processing
R Ennals, R Sharp, A Mycroft
ESOP 4, 204-218, 2004
582004
Coeffects: Unified static analysis of context-dependence
T Petricek, D Orchard, A Mycroft
Automata, Languages, and Programming: 40th International Colloquium, ICALP …, 2013
552013
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20