Jane W. Hughes

Publication Activity (10 Years)

Years Active: 1979-1983
Publications (10 Years): 0

Publications

Jane W. Hughes, Malcolm S. Powell
DTL: A Language for the Design and Implementation of Concurrent Programs as Structured Networks. Softw. Pract. Exp. 13 (12) (1983)
Jane W. Hughes, Malcolm S. Powell
The Implementation of DTL. Softw. Pract. Exp. 13 (12) (1983)
Jane W. Hughes, Malcolm S. Powell
A Reduction Specification for DTL. Program Specification (1981)
Derek Coleman, Jane W. Hughes, Malcolm S. Powell
A Method for the Syntax Directed Design of Multiprograms. IEEE Trans. Software Eng. 7 (2) (1981)
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)
Derek Coleman, Jane W. Hughes, Malcolm S. Powell
Engineering data processing programs for multiple microprocessors. Microprocess. Microsystems 3 (2) (1979)
Derek Coleman, Jane W. Hughes
The Clean Termination of Pascal Programs. Acta Informatica 11 (1979)
Derek Coleman, Robin M. Gallimore, Jane W. Hughes, Malcolm S. Powell
An Assessment of Concurrent Pascal. Softw. Pract. Exp. 9 (10) (1979)