Read e-book online ANNA A Language for Annotating Ada Programs PDF

By David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe

ISBN-10: 3540179801

ISBN-13: 9783540179801

ISBN-10: 3540472029

ISBN-13: 9783540472025

This reference guide of ANNA is one other quantity addressed to the ADA group. ANNA is a language extension of ADA to incorporate amenities for officially specifying the meant habit of ADA courses. it really is designed to fulfill a perceived have to increase ADA with specified machine-processable annotations in order that good validated formal equipment of specification and documentation may be utilized to ADA courses. the present ANNA layout contains annotations of all ADA constructs other than tasking. related extensions for formal specification could be made to different Algol-like languages resembling Pascal, PL/1, Concurrent Pascal, and Modula; basically, those extensions will be subsets of ANNA. The layout of ANNA was once undertaken from the start with 4 primary issues: 1. developing annotations will be effortless for the ADA programmer and will rely up to attainable on notation and ideas of ADA. 2. ANNA may still own language positive factors which are general within the specification and documentation of courses. three. ANNA may still offer a framework in which many of the validated theories of officially specifying courses could be utilized to ADA. four. Annotations may be both like minded for various attainable purposes in the course of the existence cycle of a software. Such functions contain not just checking out, debugging and formal verification of a entire application, but in addition specification of application elements in the course of the previous phases of necessities research and application design.

Show description

Read or Download ANNA A Language for Annotating Ada Programs PDF

Best compilers books

New PDF release: Static Analysis: 11th International Symposium, SAS 2004,

This booklet constitutes the refereed complaints of the eleventh foreign Symposium on Static research, SAS 2004, held in Verona, Italy in August 2004. The 23 revised complete papers awarded with an invited paper and abstracts of three invited talks have been rigorously reviewed and chosen from sixty three submissions. The papers are equipped in topical sections on application and structures verification, safety and security, pointer research, summary interpretation and algorithms, form research, summary area and information buildings, form research and good judgment, and termination research.

Automated Deduction - Cade-22: 22nd International Conference - download pdf or read online

This booklet constitutes the refereed complaints of the twenty second overseas convention on automatic Deduction, CADE-22, held in Montreal, Canada, in August 2009. The 27 revised complete papers and five procedure descriptions offered have been rigorously reviewed and chosen from seventy seven submissions. moreover, 3 invited lectures by means of special specialists within the region have been integrated.

Jens Knoop's Optimal Interprocedural Program Optimization: A New PDF

Ranging from the intraprocedural simple case, this monograph specializes in interprocedural optimization. It emphasizes the analogies and crucial alterations among intraprocedural and interprocedural optimization, and provides cookbook sort help for developing the underlying algorithms. it truly is aimed toward compiler constructors and researchers attracted to the systematic move of intraprocedural optimizations to the interprocedural surroundings, in addition to scholars looking a gradual advent to the sphere.

Get Systematic Introduction to Expert Systems: Knowledge PDF

At the present one of many major stumbling blocks to a broader program of professional platforms is the shortcoming of a concept to inform us which problem-solving tools areavailable for a given challenge type. any such conception could lead on to major growth within the following imperative goals of the professional method approach: - comparing the technical feasibility of professional process initiatives: this relies on no matter if there's a compatible problem-solving process, and if attainable a corresponding software, for the given challenge classification.

Extra info for ANNA A Language for Annotating Ada Programs

Example text

1) in the scope. A compound statement annotation is equivalent to the same list of basic annotations in the declarative part of a block statement whose body is the given statement. 56 ANNA REFERENCE MANUAL Transformation of compound statement annotations into the Anna Kernel uses this equivalence: a compound statement with an annotation that does not consist only of in and out annotations is transformed into a block having that statement as body and the basic annotation list from the compound statement annotation as the declarative part.

Ada_simple_statement ... I basic_annotat ion_] i st c o m p o u n d _ s t a t e m e n t : := [compound_statement_annotation] . . ada_compound_statement . . _l i s t A statement annotation is either a simple statement annotation or a compound statement annotation. 2). A compound statement annotation is a list of basic annotations that follows the reserved word w i t h and precedes a compound statement. The scope of a statement annotation is a statement. The scope of a simple statement annotation is the immediately preceding statement.

Name ::: simple_name expression ::= (compound_expression) on following a modifier in or out is said to be modified by that modifier; similarly, all ariables of a modified expression are considered to be modified by that modifier. The ay be applied to a simple name or a parenthesized compound expression. 2). sions may appear inside an expression modified by out. Modifiers may not be applied to les. g. , the value of V in the initial state, and an initial expression, in (E) denotes the initial value of the (compound) expression E.

Download PDF sample

ANNA A Language for Annotating Ada Programs by David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe

by Ronald

Rated 4.36 of 5 – based on 27 votes