March 1, 1985

An Overview of Anna, a Specification Language for Ada

Puntos clave

Los puntos clave no están disponibles para este artículo en este momento.

Resumen

The Anna approach to specification language design strengthens the existing explanatory constructs in Ada and adds new ones where there is an obvious need.

Preguntar a la IA

Me gusta

Guardar

Cite This Study

Luckham et al. (Fri,) studied this question.

synapsesocial.com/papers/6a17df123275b64d0e6f3b68 https://doi.org/https://doi.org/10.1109/ms.1985.230345

Also Consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

1A practical method of documenting and verifying Ada programs with packages1980 · 2 citations
2A practical method of documenting and verifying Ada programs with packages1980 · 7 citations
3Consistency checking in Ada and Anna1983 · 6 citations
4ANNA A Language for Annotating Ada Programs1987 · 110 citations
5Stanford Pascal Verifier User Manual1979 · 80 citations

Preguntar a la IA

Me gusta

Guardar