Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs - FTfJP '19
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 7)

H-INDEX

1

(FIVE YEARS 1)

Published By ACM Press

9781450368643

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

JayHorn

Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs - FTfJP '19 ◽

10.1145/3340672.3341113 ◽

2019 ◽

Author(s):

Philipp Rümmer

Download Full-text

Decidable tag-based semantic subtyping for nominal types, tuples, and unions

Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs - FTfJP '19 ◽

10.1145/3340672.3341115 ◽

2019 ◽

Author(s):

Julia Belyakova

Download Full-text

Towards deductive verification of C11 programs with Event-B and ProB

Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs - FTfJP '19 ◽

10.1145/3340672.3341117 ◽

2019 ◽

Author(s):

Mohammadsadegh Dalvandi ◽

Brijesh Dongol

Keyword(s):

Deductive Verification

Download Full-text

Translating classes to first-order logic

Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs - FTfJP '19 ◽

10.1145/3340672.3341120 ◽

2019 ◽

Author(s):

Fangzhen Lin

Keyword(s):

Order Logic ◽

First Order Logic ◽

Download Full-text

Building trustworthy software with CakeML

Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs - FTfJP '19 ◽

10.1145/3340672.3341114 ◽

2019 ◽

Author(s):

Scott Owens

Keyword(s):

Trustworthy Software

Download Full-text

Specifying I/O using abstract nested hoare triples in separation logic

Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs - FTfJP '19 ◽

10.1145/3340672.3341118 ◽

2019 ◽

Author(s):

Willem Penninckx ◽

Amin Timany ◽

Bart Jacobs

Keyword(s):

Separation Logic

Download Full-text

Analysis of MiniJava programs via translation to ML

Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs - FTfJP '19 ◽

10.1145/3340672.3341119 ◽

2019 ◽

Author(s):

Martin Mariusz Lester

Download Full-text