Peter J. L. Wallis

According to our database1, Peter J. L. Wallis
  • authored at least 17 papers between 1977 and 1996.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1996
Formal validation of viewpoint specifications.
Software Engineering Journal, 1996

1994
Viewpoint specification and Z.
Information & Software Technology, 1994

1992
Refinement methods and refinement calculi.
Software Engineering Journal, 1992

1991
The Design and Implementation of a High-level Language Converter.
Softw., Pract. Exper., 1991

1988
Ada and software re-use.
Software Engineering Journal, 1988

1984
Requirements Analysis for Ada Compilers.
Commun. ACM, 1984

1983
Conversion of Fortran to Ada Using an Intermediate Tree Representation.
Comput. J., 1983

ADA floating-point arithmetic as a basis for portable numerical software.
Proceedings of the 6th IEEE Symposium on Computer Arithmetic, 1983

1982
The Transfer of a BCPL Compiler to the Z80 Microcomputer.
Softw., Pract. Exper., 1982

The Preparation of Guidelines for Portable Programming in High-Level Languages.
Comput. J., 1982

1981
Designing Storage Management Schemes for Block-structured Languages.
Softw., Pract. Exper., 1981

Handling Type Information when Compiling a Language with User-defined Types.
Softw., Pract. Exper., 1981

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

1980
External Representations of Objects of User-Defined Type.
ACM Trans. Program. Lang. Syst., 1980

Efficient Implementation of the Ada Overloading Rules.
Inf. Process. Lett., 1980

1978
The Design of a Portable Programming Language.
Acta Inf., 1978

1977
Language Design for Structured Programming.
PhD thesis, 1977


  Loading...