Peter J. L. Wallis

Publication Activity (10 Years)

Years Active: 1962-1996
Publications (10 Years): 0

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Mike Ainsworth, Steve Riddle, Peter J. L. Wallis
Formal validation of viewpoint specifications. Softw. Eng. J. 11 (1) (1996)
Mike Ainsworth, A. H. Cruickshank, Peter J. L. Wallis, Lindsay J. Groves
Viewpoint specification and Z. Inf. Softw. Technol. 36 (1) (1994)
Mike Ainsworth, Peter J. L. Wallis
Co-Refinement. Refine (1994)
H. J. Litteck, Peter J. L. Wallis
Refinement methods and refinement calculi. Softw. Eng. J. 7 (3) (1992)
Vincent D. Moynihan, Peter J. L. Wallis
The Design and Implementation of a High-level Language Converter. Softw. Pract. Exp. 21 (4) (1991)
M. F. Bott, Peter J. L. Wallis
Ada and software re-use. Softw. Eng. J. 3 (5) (1988)
Peter J. L. Wallis
Automatic language conversion and its place in the transition to Ada. SIGAda (1985)
Peter J. L. Wallis, Brian A. Wichmann
Requirements Analysis for Ada Compilers. Commun. ACM 27 (1) (1984)
Peter J. L. Wallis
ADA floating-point arithmetic as a basis for portable numerical software. IEEE Symposium on Computer Arithmetic (1983)
John K. Slape, Peter J. L. Wallis
Conversion of Fortran to Ada Using an Intermediate Tree Representation. Comput. J. 26 (4) (1983)
Richard I. Cowderoy, Peter J. L. Wallis
The Transfer of a BCPL Compiler to the Z80 Microcomputer. Softw. Pract. Exp. 12 (3) (1982)
Peter J. L. Wallis
The Preparation of Guidelines for Portable Programming in High-Level Languages. Comput. J. 25 (3) (1982)
Peter J. L. Wallis
Designing Storage Management Schemes for Block-structured Languages. Softw. Pract. Exp. 11 (8) (1981)
Peter J. L. Wallis
Handling Type Information when Compiling a Language with User-defined Types. Softw. Pract. Exp. 11 (2) (1981)
Peter J. L. Wallis
Some Primitives for the Portable Programming of Arrays and Vector Processors. BIT 21 (4) (1981)
Peter J. L. Wallis, Bernard W. Silverman
Efficient Implementation of the Ada Overloading Rules. Inf. Process. Lett. 10 (3) (1980)
Peter J. L. Wallis
External Representations of Objects of User-Defined Type. ACM Trans. Program. Lang. Syst. 2 (2) (1980)
Peter J. L. Wallis
The Design of a Portable Programming Language. Acta Informatica 10 (1978)
Peter J. L. Wallis
Book Reviews. Comput. J. 5 (3) (1962)

Peter J. L. Wallis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Peter J. L. Wallis