Implementing assertions for Java

被引：0
|
作者：
Payne, Jeffery E.
Schatz, Michael A.
Schmid, Matthew N.
机构：
来源：
Dr. Dobb's Journal of Software Tools for Professional Programmer | 1998年 / 23卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Implementing assertions for Java']Java
    Payne, JE
    Schatz, MA
    Schmid, MN
    DR DOBBS JOURNAL, 1998, 23 (01): : 40 - &
  • [2] An enhancement to Java']Java for programming with assertions
    Zhang, C
    Zheng, LY
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-IV, PROCEEDINGS, 1998, : 42 - 49
  • [3] An approach to decomposing assertions into Java']Java code
    Li, T
    Yang, HJ
    Xu, BW
    Shi, L
    IKE '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE ENGINEERING, 2005, : 185 - 191
  • [4] Fluent vs Basic Assertions in Java']Java: An Empirical Study
    Leotta, Maurizio
    Cerioli, Maura
    Olianas, Dario
    Ricca, Filippo
    2018 11TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), 2018, : 184 - 192
  • [5] Integrating Statechart Assertions into Java']Java Components Using AspectJ
    Drusinsky, Doron
    Michael, James Bret
    Otani, Thomas W.
    Shing, Man-Tak
    2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2008, : 366 - 372
  • [6] Implementing Jalapeno in Java']Java
    Alpern, B
    Barton, JJ
    Hummel, SF
    Ngo, T
    Shepherd, JC
    Attanasio, CR
    Cocchi, A
    Lieber, D
    Mergen, M
    Smith, S
    ACM SIGPLAN NOTICES, 1999, 34 (10) : 314 - 324
  • [7] Checking Java']Java Assertions Using Automated Test-Case Generation
    Caballero, Rafael
    Montenegro, Manuel
    Kuchen, Herbert
    von Hof, Vincent
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), 2015, 9527 : 221 - 226
  • [8] Implementing an efficient Java']Java interpreter
    Gregg, D
    Ertl, MA
    Krall, A
    HIGH-PERFORMANCE COMPUTING AND NETWORKING, 2001, 2110 : 613 - 620
  • [9] Implementing declarative concurrency in Java']Java
    Ramirez, R
    Santosa, AE
    Hong, LW
    EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, 2000, 1900 : 700 - 708
  • [10] Implementing communication protocols in Java']Java
    Krupczak, B
    Calvert, KL
    Ammar, M
    IEEE COMMUNICATIONS MAGAZINE, 1998, 36 (10) : 93 - 99
12345