text: CiteSeerX — Citation Query anna: Towards a language for annotating Ada programs
  anna: Towards a language for annotating Ada programs
  (1980) by Bernd Krieg-Bruckner, David Luckham
  7 Specification and analysis of system architecture using Rapide
  - Cited by 345 (4 self)
  ...ey like, as long as they declare the syntax. The approach has been validated with experiments using lileanna [40] on real examples. lileanna, which has Ada [6] as its implementation language and Anna =-=[27, 29]-=- as its specification language, is also used for illustrations in this paper. Furthermore, this approach extends the structural description capabilities of existing Architecture Description Languages ...
  This paper discusses an approach to software architecture based on concepts from parameterized programming, particularly its language of "module expressions." A module expression describes the architecture of a system as an interconnection of component modules, and executing the expression actually builds the system. Language features include: modules parameterized by theories, which declare interfaces; a number of module composition operations; views for binding modules to interfaces; and both vertical and horizontal composition. Modules may involve information hiding, theories may declare semantic restrictions with axioms, and views assert behavioral satisfaction of axioms by a module. Some "laws of software composition" are given, showing how various module composition operations are related. We also show how a variety of architectural styles can be supported, and how this approach can be extended to support evolution and traceability. All this is intended to ease the development of large systems, and in particular, to make reuse more effective in practice. Towards the Generation of Efficient Code from Verified Programs
  ...ints from the programmer,for example,variable mutation and aliasing information [10,1,23]. Annotations guide compilers in concurrent code generation [21,3] and declare method pre- and post-conditions =-=[14,16]-=-. Java [20] permitted the use of annotations (under the name of attributes) at the class file level. In the early dayss1 /** Describes the request-for-enhancement (RFE) 2 that led to the presence of A...