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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

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

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

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 ◽

First Order

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 ◽

Cited By ~ 2

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

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

JayHorn

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

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

Building trustworthy software with CakeML

Translating classes to first-order logic

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

Analysis of MiniJava programs via translation to ML

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