default search action

combined dblp search
author search
venue search
publication search

ask others

Peter J. L. Wallis

> Home > Persons

Person information

affiliation: University of Bath, School of Mathematical Sciences, UK

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1996
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/AinsworthRW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/AinsworthRW96
Mike Ainsworth, Steve Riddle, Peter J. L. Wallis:
Formal validation of viewpoint specifications. Softw. Eng. J. 11(1): 58-66 (1996)
1994
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/AinsworthCWG94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/AinsworthCWG94
Mike Ainsworth, A. H. Cruickshank, Peter J. L. Wallis, Lindsay J. Groves:
Viewpoint specification and Z. Inf. Softw. Technol. 36(1): 43-51 (1994)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/refine/AinsworthW94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/AinsworthW94
Mike Ainsworth, Peter J. L. Wallis:
Co-Refinement. Refine 1994: 151-166
1992
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/LitteckW92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/LitteckW92
H. J. Litteck, Peter J. L. Wallis:
Refinement methods and refinement calculi. Softw. Eng. J. 7(3): 219-229 (1992)
1991
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/MoynihanW91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/MoynihanW91
Vincent D. Moynihan, Peter J. L. Wallis:
The Design and Implementation of a High-level Language Converter. Softw. Pract. Exp. 21(4): 391-400 (1991)

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1988
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/BottW88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/BottW88
M. F. Bott, Peter J. L. Wallis:
Ada and software re-use. Softw. Eng. J. 3(5): 177-183 (1988)
1985
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Wallis85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Wallis85
Peter J. L. Wallis:
Automatic language conversion and its place in the transition to Ada. SIGAda 1985: 275-284
1984
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/WallisW84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/WallisW84
Peter J. L. Wallis, Brian A. Wichmann:
Requirements Analysis for Ada Compilers. Commun. ACM 27(1): 37-41 (1984)
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/1983
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/1983
Peter J. L. Wallis:
Ada Software Tools Interfaces, Workshop, Bath, UK, July 13-15, 1983, Proceedings. Lecture Notes in Computer Science 180, Springer 1984, ISBN 3-540-13878-1 [contents]
1983
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/SlapeW83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/SlapeW83
John K. Slape, Peter J. L. Wallis:
Conversion of Fortran to Ada Using an Intermediate Tree Representation. Comput. J. 26(4): 344-353 (1983)
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/arith/Wallis83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arith/Wallis83
Peter J. L. Wallis:
ADA floating-point arithmetic as a basis for portable numerical software. IEEE Symposium on Computer Arithmetic 1983: 79-81
1982
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/Wallis82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/Wallis82
Peter J. L. Wallis:
The Preparation of Guidelines for Portable Programming in High-Level Languages. Comput. J. 25(3): 375-378 (1982)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/CowderoyW82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/CowderoyW82
Richard I. Cowderoy, Peter J. L. Wallis:
The Transfer of a BCPL Compiler to the Z80 Microcomputer. Softw. Pract. Exp. 12(3): 235-239 (1982)
1981
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/bit/Wallis81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bit/Wallis81
Peter J. L. Wallis:
Some Primitives for the Portable Programming of Arrays and Vector Processors. BIT 21(4): 436-448 (1981)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/Wallis81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/Wallis81
Peter J. L. Wallis:
Handling Type Information when Compiling a Language with User-defined Types. Softw. Pract. Exp. 11(2): 167-173 (1981)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/Wallis81a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/Wallis81a
Peter J. L. Wallis:
Designing Storage Management Schemes for Block-structured Languages. Softw. Pract. Exp. 11(8): 789-801 (1981)
1980
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/WallisS80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/WallisS80
Peter J. L. Wallis, Bernard W. Silverman:
Efficient Implementation of the Ada Overloading Rules. Inf. Process. Lett. 10(3): 120-123 (1980)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Wallis80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Wallis80
Peter J. L. Wallis:
External Representations of Objects of User-Defined Type. ACM Trans. Program. Lang. Syst. 2(2): 137-152 (1980)

1970 – 1979

see FAQ

What is the meaning of the colors in the publication lists?

1978
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/Wallis78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/Wallis78
Peter J. L. Wallis:
The Design of a Portable Programming Language. Acta Informatica 10: 157-167 (1978)
1977
[b1]
- view
  - electronic edition @ bl.uk
  - details & citations
- export record
  dblp key:
  - phd/ethos/Wallis77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Wallis77
Peter J. L. Wallis:
Language Design for Structured Programming. University of Oxford, UK, 1977

1960 – 1969

see FAQ

What is the meaning of the colors in the publication lists?

1962
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/Wallis62
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/Wallis62
Peter J. L. Wallis:
Book Reviews. Comput. J. 5(3): 227 (1962)

[+]

Coauthor network

[+]

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.