Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450336567

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A three-valued type system for true positives detection in Java-like languages

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15 ◽

10.1145/2786536.2786539 ◽

2015 ◽

Author(s):

Davide Ancona ◽

Federico Frassetto

Keyword(s):

Type System

Download Full-text

Regression verification for Java using a secure information flow calculus

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15 ◽

10.1145/2786536.2786544 ◽

2015 ◽

Cited By ~ 6

Author(s):

Bernhard Beckert ◽

Vladimir Klebanov ◽

Mattias Ulbrich

Keyword(s):

Information Flow ◽

Secure Information

Download Full-text

Provably live exception handling

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15 ◽

10.1145/2786536.2786543 ◽

2015 ◽

Cited By ~ 4

Author(s):

Bart Jacobs

Keyword(s):

Exception Handling

Download Full-text

Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15 ◽

10.1145/2786536.2786541 ◽

2015 ◽

Cited By ~ 1

Author(s):

Jorne Kandziora ◽

Marieke Huisman ◽

Christoph Bockisch ◽

Marina Zaharieva-Stojanovski

Keyword(s):

Run Time

Download Full-text

Conditional effects in fine-grained region logic

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15 ◽

10.1145/2786536.2786537 ◽

2015 ◽

Cited By ~ 4

Author(s):

Yuyan Bao ◽

Gary T. Leavens ◽

Gidon Ernst

Keyword(s):

Fine Grained ◽

Conditional Effects

Download Full-text

Foo

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15 ◽

10.1145/2786536.2786540 ◽

2015 ◽

Author(s):

Prodromos Gerakios ◽

George Fourtounis ◽

Yannis Smaragdakis

Download Full-text

Imperative objects with dependent types

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15 ◽

10.1145/2786536.2786538 ◽

2015 ◽

Cited By ~ 1

Author(s):

Joana Campos ◽

Vasco T. Vasconcelos

Keyword(s):

Dependent Types

Download Full-text

Automatic verification of Dafny programs with traits

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15 ◽

10.1145/2786536.2786542 ◽

2015 ◽

Cited By ~ 2

Author(s):

Reza Ahmadi ◽

K. Rustan M. Leino ◽

Jyrki Nummenmaa

Keyword(s):

Automatic Verification

Download Full-text

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

A three-valued type system for true positives detection in Java-like languages

Regression verification for Java using a secure information flow calculus

Provably live exception handling

Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML

Conditional effects in fine-grained region logic

Foo

Imperative objects with dependent types

Automatic verification of Dafny programs with traits

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15
Latest Publications