Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs
Latest Publications

TOTAL DOCUMENTS

7
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By ACM

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

ConSysT: tunable, safe consistency meets object-oriented programming

2020 ◽  
Author(s):  
Mirko Köhler ◽  
Nafise Eskandani Masoule ◽  
Alessandro Margara ◽  
Guido Salvaneschi
Keyword(s):  
Object Oriented ◽  
Object Oriented Programming

Salsa: static analysis of serialization features

2020 ◽  
Author(s):  
Joanna C. S. Santos ◽  
Reese A. Jones ◽  
Mehdi Mirakhorli
Keyword(s):  
Static Analysis

An inductive abstract semantics for coFJ

2020 ◽  
Author(s):  
Pietro Barbieri ◽  
Francesco Dagnino ◽  
Elena Zucca
Keyword(s):  
Abstract Semantics
Load More ...
Sign in / Sign up

Export Citation Format

Share Document