The LOOP compiler for java and JML

被引：0
|
作者：
Computing Science Institute, University of Nijmegen, Toernooiveld 1, 6525 ED Nijmegen, Netherlands [1 ]
机构：
来源：
Lect. Notes Comput. Sci. | 1600年 / 299-312期
关键词：
Compendex;
D O I：
7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001
中图分类号：
学科分类号：
摘要：
Formal logic - Java programming language - Semantics
引用
收藏
相关论文
共 50 条
  • [1] JML and OpenJML for Java']Java 16
    Cok, David R.
    [J]. PROCEEDINGS OF THE 23RD ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP '21), 2021, : 65 - 67
  • [2] A formal specification in JML of Java']Java security package
    Agarwal, Poonam
    Rubio-Medrano, Carlos E.
    Cheon, Yoonsik
    Teller, Patricia. J.
    [J]. ADVANCES AND INNOVATIONS IN SYSTEMS, COMPUTING SCIENCES AND SOFTWARE ENGINEERING, 2007, : 363 - 368
  • [3] OpenJML: JML for Java']Java 7 by Extending OpenJDK
    Cok, David R.
    [J]. NASA FORMAL METHODS, 2011, 6617 : 472 - 479
  • [4] Free Java']Java compiler
    不详
    [J]. DATAMATION, 1996, 42 (01): : 20 - &
  • [5] JML4: Towards an Industrial Grade IVE for Java']Java and Next Generation Research Platform for JML
    Chalin, Patrice
    James, Perry R.
    Karabotsos, George
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 5295 : 70 - 83
  • [6] A certifying compiler for Java']Java
    Colby, C
    Lee, P
    Necula, GC
    Blau, F
    Plesko, M
    Cline, K
    [J]. ACM SIGPLAN NOTICES, 2000, 35 (05) : 95 - 107
  • [7] Automated translation of VDM to JML-annotated Java']Java
    Tran-Jorgensen, Peter W. V.
    Larsen, Peter Gorm
    Leavens, Gary T.
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (02) : 211 - 235
  • [8] The KRAKATOA tool for certification of JAVA']JAVA/JAVA']JAVACARD programs annotated in JML
    Marché, C
    Paulin-Mohring, C
    Urbain, X
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 58 (1-2): : 89 - 106
  • [9] The JastAdd Extensible Java']Java Compiler
    Ekman, Torbjorn
    Hedin, Gorel
    [J]. ACM SIGPLAN NOTICES, 2007, 42 (10) : 1 - 17
  • [10] The Java']Java HotSpot™ Server Compiler
    Paleczny, M
    Vick, C
    Click, C
    [J]. USENIX ASSOCIATION PROCEEDINGS JAVA(TM) VIRTUAL MACHINE RESEARCH AND TECHNOLOGY SYMPOSIUM, 2001, : 1 - 12
12345