An analyzable annotation language

  title={An analyzable annotation language},
  author={Sarfraz Khurshid and Darko Marinov and Daniel O Jackson},
The Alloy Annotation Language (AAL) is a language (under development) for annotating Java code based on the Alloy modeling language. It offers a syntax similar to the Java Modeling Language (JML), and the same opportunities for generation of run-time assertions. In addition, however, AAL offers the possibility of fully automatic compile-time analysis. Several kinds of analysis are supported, including: checking the code of a method against its specification; checking that the specification of a… CONTINUE READING
Highly Cited
This paper has 63 citations. REVIEW CITATIONS
44 Citations
4 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 44 extracted citations

64 Citations

Citations per Year
Semantic Scholar estimates that this publication has 64 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…