Peter J. L. Wallis

According to our database, Peter J. L. Wallis authored at least 20 papers between 1962 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Formal validation of viewpoint specifications.

Mike Ainsworth, Steve Riddle, Peter J. L. Wallis

Softw. Eng. J., 1996

1994

Viewpoint specification and Z.

Mike Ainsworth, A. H. Cruickshank, Peter J. L. Wallis, Lindsay J. Groves

Inf. Softw. Technol., 1994

Co-Refinement.

Mike Ainsworth, Peter J. L. Wallis

Proceedings of the 6th Refinement Workshop, 1994

1992

Refinement methods and refinement calculi.

H. J. Litteck, Peter J. L. Wallis

Softw. Eng. J., 1992

1991

The Design and Implementation of a High-level Language Converter.

Vincent D. Moynihan, Peter J. L. Wallis

Softw. Pract. Exp., 1991

1988

Ada and software re-use.

M. F. Bott, Peter J. L. Wallis

Softw. Eng. J., 1988

1985

Automatic language conversion and its place in the transition to Ada.

Peter J. L. Wallis

Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

1984

Requirements Analysis for Ada Compilers.

Peter J. L. Wallis, Brian A. Wichmann

Commun. ACM, 1984

1983

Conversion of Fortran to Ada Using an Intermediate Tree Representation.

John K. Slape, Peter J. L. Wallis

Comput. J., 1983

ADA floating-point arithmetic as a basis for portable numerical software.

Peter J. L. Wallis

Proceedings of the 6th IEEE Symposium on Computer Arithmetic, 1983

1982

The Transfer of a BCPL Compiler to the Z80 Microcomputer.

Richard I. Cowderoy, Peter J. L. Wallis

Softw. Pract. Exp., 1982

The Preparation of Guidelines for Portable Programming in High-Level Languages.

Peter J. L. Wallis

Comput. J., 1982

1981

Designing Storage Management Schemes for Block-structured Languages.

Peter J. L. Wallis

Softw. Pract. Exp., 1981

Handling Type Information when Compiling a Language with User-defined Types.

Peter J. L. Wallis

Softw. Pract. Exp., 1981

Some Primitives for the Portable Programming of Arrays and Vector Processors.

Peter J. L. Wallis

BIT, 1981

1980

External Representations of Objects of User-Defined Type.

Peter J. L. Wallis

ACM Trans. Program. Lang. Syst., 1980

Efficient Implementation of the Ada Overloading Rules.

Peter J. L. Wallis, Bernard W. Silverman

Inf. Process. Lett., 1980

1978

The Design of a Portable Programming Language.

Peter J. L. Wallis

Acta Informatica, 1978

1977

Language Design for Structured Programming.

Peter J. L. Wallis

PhD thesis, 1977

1962

Book Reviews.

Peter J. L. Wallis

Comput. J., 1962