Table of Contents
Advances in Software Engineering
Volume 2010, Article ID 540547, 7 pages
http://dx.doi.org/10.1155/2010/540547
Research Article

AnnaBot: A Static Verifier for Java Annotation Usage

8748 10 Sideroad Adjala, RR 1, Palgrave, ON, Canada L0N 1P0

Received 16 June 2009; Accepted 9 November 2009

Academic Editor: Phillip Laplante

Copyright © 2010 Ian Darwin. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Citations to this Article [6 citations]

The following is the list of published articles that have cited the current article.

  • Irene Córdoba, and Juan de Lara, “A modelling language for the effective design of Java annotations,” Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15, pp. 2087–2092, . View at Publisher · View at Google Scholar
  • Unknown, Pedro Pinheiro, José Carlos Viana, Leonardo Fernandes, Márcio Ribeiro, Fabiano Ferrari, Baldoino Fonseca, and Rohit Gheyi, “Mutation Operators for Code Annotations,” Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing - SAST '18, pp. 77–86, . View at Publisher · View at Google Scholar
  • Peter Thiemann, and Luminous Fennell, “Gradual Typing for Annotated Type Systems,” Programming Languages and Systems, vol. 8410, pp. 47–66, 2014. View at Publisher · View at Google Scholar
  • Milan Nosal, Matus Sulir, Jan Juhar, Milan Nosal, Matus Sulir, and Jan Juhar, “Source Code Annotations as Formal Languages,” Proceedings Of The 2015 Federated Conference On Computer Science And Information Systems, vol. 5, pp. 953–964, 2015. View at Publisher · View at Google Scholar
  • José Lázaro de Siqueira, Fábio Fagundes Silveira, and Eduardo Martins Guerra, “An Approach for Code Annotation Validation with Metadata Location Transparency,” Computational Science and Its Applications -- ICCSA 2016, vol. 9789, pp. 422–438, 2016. View at Publisher · View at Google Scholar
  • Irene Córdoba-Sánchez, and Juan de Lara, “Ann: A domain-specific language for the effective design and validation of Java annotations,” Computer Languages, Systems & Structures, 2016. View at Publisher · View at Google Scholar