FTfJP 2022 - Proceedings of the Workshop on Formal Techniques for Java-like Programs

被引：0
|
作者：
机构：
来源：
FTfJP 2022 - Proceedings of the Workshop on Formal Techniques for Java-like Programs | 2022年
关键词：
Compendex;
D O I：
24th Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, held at the ECOOP 2022
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 17 条
  • [1] Formal techniques for Java']Java-Like programs (FTfJP)
    Coglio, A
    Huisman, M
    Kiniry, JR
    Müller, P
    Poll, E
    OBJECT-ORIENTED TECHNOLOGY, 2004, 3344 : 76 - 83
  • [2] Formal Techniques for Java']Java-Like Programs Report on the 10th Workshop FTfJP at ECOOP 2008
    Albert, Elvira
    Banerjee, Anindya
    Drossopoulou, Sophia
    Huisman, Marieke
    Igarashi, Atsushi
    Leavens, Gary T.
    Mueller, Peter
    Wrigstad, Tobias
    OBJECT-ORIENTED TECHNOLOGY: ECOOP 2008 WORKSHOP READER, 2009, 5475 : 70 - +
  • [3] Proceedings of the 18th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2016 - Co-located with ECOOP 2016
    Proceedings of the 18th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2016 - Co-located with ECOOP 2016, 2016,
  • [4] Proceedings for FTfJP 2014: The 16th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2014: Foreword
    Pearce, David J.
    Proceedings for FTfJP 2014: The 16th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2014, 2014,
  • [5] Formal techniques for Java']Java-like programs
    Boyland, John
    Clarke, Dave
    Leavens, Gary
    Logozzo, Francesco
    Poetzsch-Heffter, Arnd
    OBJECT-ORIENTED TECHNOLOGY: ECOOP 2007 WORKSHOP READER, 2008, 4906 : 99 - +
  • [6] Formal techniques for Java']Java-like programs
    Eisenbach, S
    Leavens, GT
    Müller, P
    Poetzsch-Heffter, A
    Poll, E
    OBJECT-ORIENTED TECHNOLOGY, 2003, 3013 : 62 - 71
  • [7] Proceedings for FTfJP 2012: The 14th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2012 and PLDI 2012, Papers Presented at the Workshop: Foreword
    Chin, W.-N., 2012, Association for Computing Machinery, General Post Office, P.O. Box 30777, NY 10087-0777, United States
  • [8] Workshop on Formal Techniques for Java']Java-like Programs (FTfJP), and International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), ECOOP 2008 Editorial
    Huisman, Marieke
    Muller, Peter
    JOURNAL OF OBJECT TECHNOLOGY, 2009, 8 (04): : 3 - 3
  • [9] Special issue:: Formal techniques for Java']Java-like programs
    Müller, P
    Naumann, DA
    Poll, E
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2004, 16 (07): : 645 - 646
  • [10] Formal techniques for Java']Java-like programs - Report on the WSFTUP at ECOOP'06
    Ancona, Davide
    Drossopoulou, Sophia
    Igarashi, Atsushi
    Leavens, Gary T.
    Poetzsch-Heffter, Arnd
    Zucca, Elena
    OBJECT-ORIENTED TECHNOLOGY: ECOOP 2006 WORKSHOP READER, 2007, 4379 : 53 - 58
12