OpenAda A metaobject protocol for Ada 95

Towards modelling and verification of concurrent Ada programs using Petri nets

Burns, A.
Wellings, A.
Burns, F. (and others)
Newcastle upon Tyne Univ. (United Kingdom). Computing Science

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8724.920(no CS-TR-700) / BLDSC - Brit...

Accelerated SSADM

Central Computer and Telecommunications Agency (CCTA), London (United Kingdom)

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:OP-94/CCTA / BLDSC - British Library...

Metaontology

Tarver, M

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:D88777 / BLDSC - British Library Doc...

Developing an O.D.A. solver in ADA Progress report I

Parkhurst, S.C
Hatfield Polytechnic (United Kingdom). Numerical Optimisation Centre

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.57(NOC-TR--218) / BLDSC - Briti...

Ada-Europe guidelines for the portability of Ada programs

Nissen, J.C.D.
Wallis, P.
Wichmann, B.A.
National Physical Lab., Teddington (UK)

January 1981

SIGLELD:6029.344(NPL-DNACS--52/81). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

ADA on multiple processors

McDermid, J.A.
Royal Signals and Radar Establishment, Malvern (UK)

January 1982

SIGLELD:5644.91(RSRE-M--3464). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

OpenAda: A Metaobject Protocol for Ada 95

Rogers And Wellings
P. Rogers
A. J. Wellings

January 2000

This paper describes OpenAda, a reflective version of Ada that we developed to support research in s...

Optimization & automatic differentiation in Ada Some practical experience

Bartholomew-Biggs, M.
Bartholomew-Biggs, L.
Christianson, B
University of Hertfordshire, Hatfield (United Kingdom). Numerical Optimisation Centre

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.575(HU-NOC-TR--274) / BLDSC - B...

ADA package specifications, path expressions and monitors

Goldsack, S.J.
Moreton, T.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1981

SIGLELD:7056.15(DOC--81/25). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Tutorial material on the real data-types in ADA: final technical report

Wichmann, B.A.
National Physical Laboratory, Teddington (UK)

January 1981

SIGLELD:f81/0651 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

On developing and verifying design abstractions for reliable concurrent programming in Ada

Koelmans, A. (and others)
Wellings, A.
Burns, A.
Newcastle upon Tyne Univ. (United Kingdom). Computing Science

January 2001

Available from British Library Document Supply Centre-DSC:8724.920(no CS-TR-706) / BLDSC - British L...

The use of Ada as a job control language for the APSE

Downes, V.A.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1981

SIGLELD:7056.15(DOC--81/19). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Guidelines for the design of large modular scientific libraries in Ada Second interim report

Symm, G.T.
Wichmann, B.
Kok, J.
Winter, D.T.
National Physical Lab., Teddington (UK). Div. of Information Technology and Computing

January 1983

SIGLELD:6180.5735(NPL-DITC--28/83) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Ada software for direct solution of systems of linear equations

Bartholomew-Biggs, M
Hatfield Polytechnic (United Kingdom). Numerical Optimisation Centre

January 1991

SIGLEAvailable from British Library Document Supply Centre-DSC:8717.570(HP-NOC-TR--247) / BLDSC - Br...

Data management standards

Central Computer and Telecommunications Agency (CCTA), Norwich (United Kingdom)

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:OP-95/CCTA / BLDSC - British Library...

Towards modelling and verification of concurrent Ada programs using Petri nets

Burns, A.
Wellings, A.
Burns, F. (and others)
Newcastle upon Tyne Univ. (United Kingdom). Computing Science

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8724.920(no CS-TR-700) / BLDSC - Brit...

Accelerated SSADM

Central Computer and Telecommunications Agency (CCTA), London (United Kingdom)

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:OP-94/CCTA / BLDSC - British Library...

Metaontology

Tarver, M

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:D88777 / BLDSC - British Library Doc...

Developing an O.D.A. solver in ADA Progress report I

Parkhurst, S.C
Hatfield Polytechnic (United Kingdom). Numerical Optimisation Centre

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.57(NOC-TR--218) / BLDSC - Briti...

Ada-Europe guidelines for the portability of Ada programs

Nissen, J.C.D.
Wallis, P.
Wichmann, B.A.
National Physical Lab., Teddington (UK)

January 1981

SIGLELD:6029.344(NPL-DNACS--52/81). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

ADA on multiple processors

McDermid, J.A.
Royal Signals and Radar Establishment, Malvern (UK)

January 1982

SIGLELD:5644.91(RSRE-M--3464). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

OpenAda: A Metaobject Protocol for Ada 95

Rogers And Wellings
P. Rogers
A. J. Wellings

January 2000

This paper describes OpenAda, a reflective version of Ada that we developed to support research in s...

Optimization & automatic differentiation in Ada Some practical experience

Bartholomew-Biggs, M.
Bartholomew-Biggs, L.
Christianson, B
University of Hertfordshire, Hatfield (United Kingdom). Numerical Optimisation Centre

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.575(HU-NOC-TR--274) / BLDSC - B...

ADA package specifications, path expressions and monitors

Goldsack, S.J.
Moreton, T.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1981

SIGLELD:7056.15(DOC--81/25). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Tutorial material on the real data-types in ADA: final technical report

Wichmann, B.A.
National Physical Laboratory, Teddington (UK)

January 1981

SIGLELD:f81/0651 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

On developing and verifying design abstractions for reliable concurrent programming in Ada

Koelmans, A. (and others)
Wellings, A.
Burns, A.
Newcastle upon Tyne Univ. (United Kingdom). Computing Science

January 2001

Available from British Library Document Supply Centre-DSC:8724.920(no CS-TR-706) / BLDSC - British L...

The use of Ada as a job control language for the APSE

Downes, V.A.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1981

SIGLELD:7056.15(DOC--81/19). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Guidelines for the design of large modular scientific libraries in Ada Second interim report

Symm, G.T.
Wichmann, B.
Kok, J.
Winter, D.T.
National Physical Lab., Teddington (UK). Div. of Information Technology and Computing

January 1983

SIGLELD:6180.5735(NPL-DITC--28/83) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Ada software for direct solution of systems of linear equations

Bartholomew-Biggs, M
Hatfield Polytechnic (United Kingdom). Numerical Optimisation Centre

January 1991

SIGLEAvailable from British Library Document Supply Centre-DSC:8717.570(HP-NOC-TR--247) / BLDSC - Br...

Data management standards

Central Computer and Telecommunications Agency (CCTA), Norwich (United Kingdom)

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:OP-95/CCTA / BLDSC - British Library...

Towards modelling and verification of concurrent Ada programs using Petri nets

Burns, A.
Wellings, A.
Burns, F. (and others)
Newcastle upon Tyne Univ. (United Kingdom). Computing Science

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8724.920(no CS-TR-700) / BLDSC - Brit...

Accelerated SSADM

Central Computer and Telecommunications Agency (CCTA), London (United Kingdom)

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:OP-94/CCTA / BLDSC - British Library...

Metaontology

Tarver, M

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:D88777 / BLDSC - British Library Doc...

OpenAda A metaobject protocol for Ada 95

Abstract

Extracted data

OpenAda A metaobject protocol for Ada 95

Abstract

Extracted data

Related items

Related items