Peter J. L. Wallis

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