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

TOTAL DOCUMENTS

8
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By ACM Press

9781450336567
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

2015 ◽  
Author(s):  
Jorne Kandziora ◽  
Marieke Huisman ◽  
Christoph Bockisch ◽  
Marina Zaharieva-Stojanovski
Keyword(s):  
Run Time

scholarly journals Conditional effects in fine-grained region logic

2015 ◽  
Author(s):  
Yuyan Bao ◽  
Gary T. Leavens ◽  
Gidon Ernst
Keyword(s):  
Fine Grained ◽  
Conditional Effects

Foo

2015 ◽  
Author(s):  
Prodromos Gerakios ◽  
George Fourtounis ◽  
Yannis Smaragdakis

Imperative objects with dependent types

2015 ◽  
Author(s):  
Joana Campos ◽  
Vasco T. Vasconcelos
Keyword(s):  
Dependent Types

Automatic verification of Dafny programs with traits

2015 ◽  
Author(s):  
Reza Ahmadi ◽  
K. Rustan M. Leino ◽  
Jyrki Nummenmaa
Keyword(s):  
Automatic Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document