Verifiable Ada Packages

I. C. Pyle; Fred Long

Verifiable Ada Packages

I. C. Pyle, Fred Long

Adran Cyfrifiadureg

Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Trafodion Cynhadledd (ISBN)

Crynodeb

This paper considers verification of Ada packages. Any verification must be against some claim. We consider the kinds of claim that might be made for a package, in comparison with the claims that might be made for the constituents of the package. This leads to a classification of packages. We then make recommendations for writing Ada packages, with ease of verification as the goal.

Iaith wreiddiol	Saesneg
Teitl	Selected Papers from the 1995 Ada UK Conference
Is-deitl	Ada User Journal
Golygyddion	M. Smith
Tudalennau	103-109
Nifer y tudalennau	7
Cyfrol	16
Argraffiad	3
Statws	Cyhoeddwyd - Medi 1995

Cyfres gyhoeddiadau

Enw	Ada user
ISSN (Argraffiad)	0268-652X

Cysylltiad parhaol

Dolen barhaus

Ffeiliau eraill a chysylltiadau

Dolen i’r cyhoeddiad yn Scopus

Dyfynnu hyn

@inproceedings{b183cc3ee72f4affb93ccedaaf0acd3f,

title = "Verifiable Ada Packages",

abstract = "This paper considers verification of Ada packages. Any verification must be against some claim. We consider the kinds of claim that might be made for a package, in comparison with the claims that might be made for the constituents of the package. This leads to a classification of packages. We then make recommendations for writing Ada packages, with ease of verification as the goal.",

author = "Pyle, \{I. C.\} and Fred Long",

year = "1995",

month = sep,

language = "English",

volume = "16",

series = "Ada user",

pages = "103--109",

editor = "M. Smith",

booktitle = "Selected Papers from the 1995 Ada UK Conference",

edition = "3",

}

TY - GEN

T1 - Verifiable Ada Packages

AU - Pyle, I. C.

AU - Long, Fred

PY - 1995/9

Y1 - 1995/9

N2 - This paper considers verification of Ada packages. Any verification must be against some claim. We consider the kinds of claim that might be made for a package, in comparison with the claims that might be made for the constituents of the package. This leads to a classification of packages. We then make recommendations for writing Ada packages, with ease of verification as the goal.

AB - This paper considers verification of Ada packages. Any verification must be against some claim. We consider the kinds of claim that might be made for a package, in comparison with the claims that might be made for the constituents of the package. This leads to a classification of packages. We then make recommendations for writing Ada packages, with ease of verification as the goal.

UR - https://www.scopus.com/pages/publications/0029369591

M3 - Conference Proceeding (ISBN)

VL - 16

T3 - Ada user

SP - 103

EP - 109

BT - Selected Papers from the 1995 Ada UK Conference

A2 - Smith, M.

ER -