|
СТ |
Linear Types for Packet Processing |
2004 |
Ennals R., Sharp R., Mycroft A. |
|
|
|
Lecture Notes in Computer Science |
23.04.2004 |
|
СТ |
Using Multiple Memory Access Instructions for Reducing Code Size |
2004 |
Johnson N., Mycroft A. |
|
|
|
Lecture Notes in Computer Science |
22.04.2004 |
|
СТ |
Spatial Security Policies for Mobile Agents in a Sentient Computing Environment |
2003 |
Scott D., Beresford A., Mycroft A. |
|
|
|
Lecture Notes in Computer Science |
16.04.2003 |
|
СТ |
Combined Code Motion and Register Allocation Using the Value State Dependence Graph |
2003 |
Johnson N., Mycroft A. |
|
|
|
Lecture Notes in Computer Science |
11.04.2003 |
|
СТ |
Type-Based Decompilation (or Program Reconstruction via Type Reconstruction) |
1999 |
Mycroft A. |
|
|
|
Lecture Notes in Computer Science |
07.04.1999 |
|
СТ |
Complexity as a Basis for Comparing Semantic Models of Concurrency |
1995 |
Mycroft A., Degano P., Priami C. |
|
|
|
Lecture Notes in Computer Science |
12.01.1996 |
|
СТ |
Uniform PERs and Comportment Analysis |
1995 |
Mycroft A., Solberg K. L. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
|
СТ |
Minimal Function Graphs are not Instrumented |
1992 |
Mycroft A., Rosendahl M. |
|
|
|
BIGRE |
05.11.1992 |
|
СТ |
Incremental Polymorphic Type Checking with Update |
1992 |
Mycroft A. |
|
|
|
Lecture Notes in Computer Science |
07.08.1992 |
|
СТ |
Uniform ideals and strictness analysis |
1991 |
Ernoult C., Mycroft A. |
|
|
|
Lecture Notes in Computer Science |
11.09.1991 |
