Search Results - "Java - Compilers"

Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6

    Source: Modeling and Analysis of Information Systems; Том 17, № 4 (2010); 70-77 ; Моделирование и анализ информационных систем; Том 17, № 4 (2010); 70-77 ; 2313-5417 ; 1818-1015

    File Description: application/pdf

    Relation: https://www.mais-journal.ru/jour/article/view/1053/767; PMD, java source code verificator. [Электрон. ресурс]. Режим доступа: http://pmd.sourceforge.net/.; Findbugs, java byte code verificator. [Электрон. ресурс]. Режим доступа: http://findbugs.sourceforge.net/.; Ayewah N., Pugh W., Morgenthaler J. D., Penix J., and Zhou Y. Using findbugs on production software // OOPSLA '07: Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion, (New York, NY, USA). ACM, 2007. P. 805-806.; Klaus H. and Grigore R. An overview of the runtime verification tool Java PathExplorer // Formal Methods in System Design. 2004. Vol. 24, No. 2. P. 189-215.; JSR269: Pluggable Annotation Processing API. [Электрон. ресурс]. Режим доступа: http://jcp.org/en/jsr/detail?id=269.; Project lombok. [Электрон. ресурс]. Режим доступа: http://projectlombok.org/.; Papi M. M., Ali M., Correa Jr. T. L., Perkins J. H., and Ernst M. D. , Practical pluggable types for Java // ISSTA 2008, Proceedings of the 2008 International Symposium on Software Testing and Analysis, (Seattle,WA, USA). 2008. July 22-24. P. 201-212.; Universal AST project for Checker Framework. [Электрон. ресурс]. Режим доступа: http://code.google.com/p/checker-framework/wiki/Ideas#Universal_AST.; Java Unified Abstract Syntax Tree project. [Электрон. ресурс]. Режим доступа: http://bitbucket.org/amelentev/juast/.; java.util.ServiceLoader. [Электрон. ресурс]. Режим доступа: http://java.sun.com/javase/6/docs/api/java/util/ServiceLoader.html.; undefined

  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13

    Source: 2000 IEEE International Symposium on Performance Analysis of Systems & Software. ISPASS (Cat. No.00EX422); 2000, p40-45, 6p

  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
  19. 19
  20. 20