| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Alan Mycroft Robert Ennals , Richard Sharp , Alan Mycroft: Task Partitioning for Multi-core Network Processors. CC 2005 : 76-90 Neil Johnson , Alan Mycroft: Using Multiple Memory Access Instructions for Reducing Code Size. CC 2004 : 265-280 Maziar Goudarzi , Shaahin Hessabi , Alan Mycroft: Overhead-Free Polymorphism in Network-on-Chip Implementation of Object-Oriented Models. DATE 2004 : 1380-1381 Robert Ennals , Richard Sharp , Alan Mycroft: Linear Types for Packet Processing. ESOP 2004 : 204-218 Sarah Thompson , Alan Mycroft: Abstract Interpretation of Combinational Asynchronous Circuits. SAS 2004 : 181-196 Maziar Goudarzi , Shaahin Hessabi , Alan Mycroft: Object-Oriented Embedded System Development Based on Synthesis and Reuse of OO-ASIPs. J. UCS 10 (9): 1123-1155 (2004) Neil Johnson , Alan Mycroft: Combined Code Motion and Register Allocation Using the Value State Dependence Graph. CC 2003 : 1-16 David Scott , Alastair Beresford , Alan Mycroft: Spatial Security Policies for Mobile Agents in a Sentient Computing Environment. FASE 2003 : 102-117 Simon Frankau , Alan Mycroft: Stream Processing Hardware from Functional Language Specifications. HICSS 2003 : 278 David Scott , Alastair Beresford , Alan Mycroft: Spatial Policies for Sentient Mobile Applications. POLICY 2003 : 147-157 Anil Madhavapeddy , Alan Mycroft, David Scott , Richard Sharp : The Case for Abstracting Security Policies. Security and Management 2003 : 156-160 Uday P. Khedker , Dhananjay M. Dhamdhere , Alan Mycroft: Bidirectional data flow analysis for type inferencing. Computer Languages, Systems & Structures 29 (1-2): 15-44 (2003) Nicholas Nethercote , Alan Mycroft: Redux: A Dynamic Dataflow Tracer. Electr. Notes Theor. Comput. Sci. 89 (2): (2003) Alan Mycroft, Richard Sharp : Higher-level techniques for hardware description and synthesis. STTT 4 (3): 271-297 (2003) Nicholas Nethercote , Alan Mycroft: The cache behaviour of large lazy functional programs on stock hardware. MSP/ISMM 2002 : 44-55 Alan Mycroft, Richard Sharp : Hardware Synthesis Using SAFL and Application to Processor Design. CHARME 2001 : 13-39 Richard Sharp , Alan Mycroft: A Higher-Level Language for Hardware Synthesis. CHARME 2001 : 228-243 Richard Sharp , Alan Mycroft: Soft Scheduling for Hardware. SAS 2001 : 57-72 Alan Mycroft, Richard Sharp : Hardware/Software Co-Design Using Functional Languages. TACAS 2001 : 236-251 Alan Mycroft, Atsushi Ohori , Shin-ya Katsumata : Comparing Type-Based and Proof-Directed Decompilation. WCRE 2001 : 362-367 Alan Mycroft, Richard Sharp : A Statically Allocated Parallel Functional Language. ICALP 2000 : 37-48 Alan Mycroft: Logic Programming and Functional Nets. WFLP 2000 : 1-7 Alan Mycroft: Type-Based Decompilation (or Program Reconstruction via Type Reconstruction). ESOP 1999 : 208-223 Flemming Nielson , Patrick Cousot , Mads Dam , Pierpaolo Degano , Pierre Jouvelot , Alan Mycroft, Bent Thomsen : Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS 1996 : 1-21 Alan Mycroft: On Integration of Programming Paradigms. ACM Comput. Surv. 28 (2): 309-311 (1996) Alan Mycroft: Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 25-27, 1995, Proceedings Springer 1995 Alan Mycroft, Pierpaolo Degano , Corrado Priami : Complexity as a Basis for Comparing Semantic Models of Concurrency. ASIAN 1995 : 141-155 Alan Mycroft, Kirsten Lackner Solberg : Uniform PERs and Comportment Analysis PLILP 1995 : 169-187 Christine Ernoult , Alan Mycroft: Untyped Strictness Analysis. J. Funct. Program. 5 (1): 37-49 (1995) Alan Mycroft: Completeness and predicate-based abstract interpretation. PEPM 1993 : 179-185 Alan Mycroft: Incremental Polymorphic Type Checking with Update. LFCS 1992 : 347-357 Alan Mycroft, Mads Rosendahl : Minimal Function Graphs are not Instrumented. WSA 1992 : 60-67 Christine Ernoult , Alan Mycroft: Uniform Ideals and Strictness Analysis. ICALP 1991 : 47-59 Neil D. Jones , Alan Mycroft: Data Flow Analysis of Applicative Programs Using Minimal Function Graphs. POPL 1986 : 296-306 Alan Mycroft, Neil D. Jones : A relational framework for abstract interpretation. Programs as Data Objects 1985 : 156-171 Ursula Goltz , Alan Mycroft: On the Relationship of CCS and Petri Nets. ICALP 1984 : 196-208 Neil D. Jones , Alan Mycroft: Stepwise Development of Operational and Denotational Semantics for Prolog. SLP 1984 : 281-288 Alan Mycroft: Logic Programs and Many-Valued Logic. STACS 1984 : 274-286 Alan Mycroft: Polymorphic Type Schemes and Recursive Definitions. Symposium on Programming 1984 : 217-228 Alan Mycroft, Richard A. O'Keefe : A Polymorphic Type System for Prolog. Artif. Intell. 23 (3): 295-307 (1984) Alan Mycroft, Flemming Nielson : Strong Abstract Interpretation Using Power Domains (Extended Abstract). ICALP 1983 : 536-547 Alan Mycroft: The Theory and Practice of Transforming Call-by-need into Call-by-value. Symposium on Programming 1980 : 269-281 1 [ 33 ] [ 35 ] 2 [ 19 ] 3 [ 19 ] 4 [ 16 ] [ 19 ] 5 [ 31 ] 6 [ 39 ] [ 42 ] 7 [ 10 ] [ 14 ] 8 [ 34 ] 9 [ 7 ] 10 [ 37 ] [ 40 ] 11 [ 37 ] [ 40 ] 12 [ 36 ] [ 41 ] 13 [ 6 ] [ 8 ] [ 9 ] 14 [ 19 ] 15 [ 23 ] 16 [ 31 ] 17 [ 32 ] 18 [ 28 ] [ 30 ] 19 [ 2 ] [ 19 ] 20 [ 3 ] 21 [ 23 ] 22 [ 16 ] 23 [ 11 ] 24 [ 32 ] [ 33 ] [ 35 ] 25 [ 22 ] [ 24 ] [ 25 ] [ 26 ] [ 27 ] [ 29 ] [ 32 ] [ 39 ] [ 42 ] 26 [ 15 ] 27 [ 38 ] 28 [ 19 ]  ©2005 Association for Computing Machinery |
