Mycroft, Alan.
Alan Mycroft professor at the Computer Laboratory, University of Cambridge
Mycroft, Alan, 19..-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Mycroft, Alan 1956-
VIAF ID: 15069939 ( Personal )
Permalink: http://viaf.org/viaf/15069939
Preferred Forms
-
100 0 _
‡a
Alan Mycroft
‡c
professor at the Computer Laboratory, University of Cambridge
-
200 _ |
‡a
Mycroft
‡b
Alan
-
100 1 0
‡a
Mycroft, Alan
-
100 1 _ ‡a Mycroft, Alan
-
100 1 _ ‡a Mycroft, Alan
-
100 1 _ ‡a Mycroft, Alan
-
100 1 _ ‡a Mycroft, Alan
-
100 1 _
‡a
Mycroft, Alan
-
100 1 _
‡a
Mycroft, Alan
-
100 1 _
‡a
Mycroft, Alan
-
100 1 _ ‡a Mycroft, Alan
-
100 1 _ ‡a Mycroft, Alan
-
100 1 _
‡a
Mycroft, Alan
‡d
1956-
-
100 1 _
‡a
Mycroft, Alan,
‡d
19..-....
-
100 1 _ ‡a Mycroft, Alan.
4xx's: Alternate Name Forms (11)
5xx's: Related Names (1)
Works
| Title | Sources |
|---|---|
| Abstract intepretation of higher-order imperative languages. |
|
| Abstract interpretation and optimising transformations for applicative programs |
|
| Applying Bayesian Networks to Sensor-Driven Systems |
|
| Bidirectional data flow analysis for type inferencing |
|
| Bit-level partial evaluation of synchronous circuits |
|
| The cache behaviour of large lazy functional programs on stock hardware |
|
| CC 2006 |
|
| Choosing Method of the Most Effective Nested Loop Shearing for Parallelism |
|
| Coeffects |
|
| Compiler construction : 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings |
|
| Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation |
|
| Controlling Control Flow in Web Applications |
|
| Critical-Path-Guided Interactive Parallelisation |
|
| Dynamic Alias Protection with Aliasing Contracts |
|
| Effect Systems Revisited—Control-Flow Algebra and Semantics |
|
| Efficient and Correct Stencil Computation via Pattern Matching and Static Typing |
|
| An Efficient and Scalable Platform for Java Source Code Analysis Using Overlaid Graph Representations |
|
| Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling |
|
| ETAPS 2006 |
|
| Extending monads with pattern matching |
|
| Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs |
|
| Formally Efficient Program Instrumentation |
|
| Haskell Is Not Not ML |
|
| Higher-level techniques for hardware description and synthesis |
|
| Incremental polymorphic type checking with update |
|
| Isolation Types and Multi-core Architectures |
|
| It's Only Illegal If You Get Caught |
|
| Java 8 in action : lambdas, streams, and functional-style programming |
|
| Jones optimality and hardware virtualization |
|
| Kilim: Isolation-Typed Actors for Java |
|
| Language-Based Optimisation of Sensor-Driven Distributed Computing Applications |
|
| A lightweight in-place implementation for software thread-level speculation |
|
| Limits of parallelism using dynamic dependency graphs |
|
| LINKING TEMPORAL FIRST ORDER LOGIC AND HIDDEN MARKOV MODELS WITH ABSTRACT EVENTS |
|
| Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems |
|
| Liveness-Based Garbage Collection |
|
| Logic programs and many-valued logic |
|
| Logical and operational methods in the analysis of programs and systems |
|
| Logical Testing |
|
| Mapping the Join Calculus to Heterogeneous Hardware |
|
| Modeon Jaba in aeksyeon |
|
| A new approach to parallelising tracing algorithms |
|
| A Notation for Comonads |
|
| Nowoczesna Java w działaniu : wyrażenia lambda, strumienie, programowanie funkcyjne i reaktywne |
|
| Overhead-free polymorphism in network-on-chip implementation of object-oriented models |
|
| Petri-nets as an Intermediate Representation for Heterogeneous Architectures |
|
| Polymorphic set-theoretic types for functional languages |
|
| Polymorphic type schemes and recursive definitions |
|
| A polymorphic type system for prolog |
|
| Polymorphism, subtyping, and type inference in MLsub |
|
| Redux |
|
| Rendezvous: A search engine for binary code |
|
| REPAIR: Hard-error recovery via re-execution |
|
| Revisiting SIMD Programming |
|
| SAS'95 |
|
| SCAFOS: linking sensor data to context‐aware applications using abstract events |
|
| Schedulability Analysis Abstractions for Safety Critical Java |
|
| Sémantiques des langages impératifs d'ordre superieur et interprétation abstraite |
|
| Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS) |
|
| Source-code queries with graph databases—with application to programming language usage and evolution |
|
| Spatial policies for sentient mobile applications |
|
| Static analysis, c1995: |
|
| Stream processing hardware from functional language specifications |
|
| Strictness Meets Data Flow |
|
| The theory and practice of transforming call-by-need into call-by-value |
|
| Type-Based Decompilation (or Program Reconstruction via Type Reconstruction) |
|
| Types ensemblistes polymorphes pour les langages fonctionnels. |
|
| Uniform PERs and comportment analysis |
|
| Untyped strictness analysis |
|
| Ypnos |
|
| 자바 8 인 액션 전문가를 위한 최신 자바 기법 가이드 |
|
