John G. P. Barnes

According to our database, John G. P. Barnes authored at least 13 papers between 1965 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2007

SP1: introducing the best of ada 2005.

John G. P. Barnes

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

SA1: introducing the best of ada.

John G. P. Barnes

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

2003

High Integrity Software - The SPARK Approach to Safety and Security.

John G. P. Barnes

Addison-Wesley, ISBN: 978-0-321-13616-9, 2003

1995

Programming in Ada 95.

John G. P. Barnes

Addison-Wesley, ISBN: 978-0-201-87700-7, 1995

1994

Programming in Ada - plus an overview of Ada 9X (4. ed.).

John G. P. Barnes

International computer science series, Addison-Wesley, ISBN: 978-0-201-62407-6, 1994

1980

An Overview of Ada.

John G. P. Barnes

Softw. Pract. Exp., 1980

The Standardization of RTL/2.

John G. P. Barnes

Softw. Pract. Exp., 1980

Modules and Visibility in the Ada Programming Language.

Jean Ichbiah, John G. P. Barnes, Jean-Claude Heliard, Bernd Krieg-Brückner, Olivier Roubine, Brian A. Wichmann

Proceedings of the On the Construction of Programs, 1980

1979

Rationale for the design of the Ada programming language.

Jean Ichbiah, Bernd Krieg-Brückner, Brian A. Wichmann, John G. P. Barnes, Olivier Roubine, Jean-Claude Heliard

ACM SIGPLAN Notices, 1979

1974

Some Characteristics of RTL/2 and their Relevance to Process Control.

John G. P. Barnes

Proceedings of the 3. Fachtagung über Programmiersprachen, 1974

1972

Real time languages for process control.

John G. P. Barnes

Comput. J., 1972

1965

A KDF9 ALGOL list-processing scheme.

John G. P. Barnes

Comput. J., 1965

An Algorithm for Solving Non-Linear Equations Based on the Secant Method.

John G. P. Barnes

Comput. J., 1965