1994 |
14 | EE | P. D. Blakeman,
Malcolm S. Powell:
Type-Safe Inter-application Communication in the Feynman Persistent Environment.
POS 1994: 444-454 |
1992 |
13 | EE | Malcolm S. Powell:
Transactions
POS 1992: 124-125 |
1990 |
12 | EE | Chris Harrison,
Malcolm S. Powell:
A Modular Persistent Store.
POS 1990: 171-184 |
1989 |
11 | EE | Malcolm S. Powell:
A Program Development Environment Based on Persistence and Abstract Data Types.
POS 1989: 29-44 |
1987 |
10 | EE | Malcolm S. Powell:
Incremental Compilation, Partial Evaluation and Persistence.
POS 1987: 78-95 |
9 | | Malcolm S. Powell:
Strongly Typed User Interfaces in an Abstract Data Store.
Softw., Pract. Exper. 17(4): 241-266 (1987) |
1985 |
8 | EE | Malcolm S. Powell:
Adding Programming Facilities to an Abstract Data Store.
Data Types and Persistence (Appin), Informal Proceedings 1985: 125-144 |
1983 |
7 | | Jane W. Hughes,
Malcolm S. Powell:
DTL: A Language for the Design and Implementation of Concurrent Programs as Structured Networks.
Softw., Pract. Exper. 13(12): 1099-1112 (1983) |
6 | | Jane W. Hughes,
Malcolm S. Powell:
The Implementation of DTL.
Softw., Pract. Exper. 13(12): 1113-1128 (1983) |
1981 |
5 | | Jane W. Hughes,
Malcolm S. Powell:
A Reduction Specification for DTL.
Program Specification 1981: 255-267 |
4 | | Jørgen Steensgaard-Madsen,
Jane W. Hughes,
Malcolm S. Powell,
Hartmut Ehrig,
Hans-Jörg Kreowski,
Leif Sandegaard Nielsen,
Jean-Raymond Abrial,
Ib Holm Sørensen,
Robin M. Gallimore,
Derek Coleman,
Joseph A. Goguen:
KWIC-index generation.
Program Specification 1981: 47-117 |
3 | | Derek Coleman,
Jane W. Hughes,
Malcolm S. Powell:
A Method for the Syntax Directed Design of Multiprograms.
IEEE Trans. Software Eng. 7(2): 189-196 (1981) |
1979 |
2 | | Derek Coleman,
Robin M. Gallimore,
Jane W. Hughes,
Malcolm S. Powell:
An Assessment of Concurrent Pascal.
Softw., Pract. Exper. 9(10): 827-837 (1979) |
1 | | Malcolm S. Powell:
Experience of Transporting and Using the SOLO Operating system.
Softw., Pract. Exper. 9(7): 561-569 (1979) |