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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450350983

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Software Model Checking

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

10.1145/3103111.3104040 ◽

2017 ◽

Author(s):

Irina Măriuca Asăvoae ◽

Hoang Nga Nguyen ◽

Markus Roggenbach ◽

Siraj Ahmed Shaikh

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model

Download Full-text

Generic Approach to Certified Static Checking of Module-like Constructs

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

10.1145/3103111.3104045 ◽

2017 ◽

Author(s):

Julia Belyakova

Keyword(s):

Static Checking

Download Full-text

A Coq-based synthesis of Scala programs which are correct-by-construction

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

10.1145/3103111.3104041 ◽

2017 ◽

Author(s):

Youssef El Bakouny ◽

Tristan Crolard ◽

Dani Mezher

Download Full-text

Towards a Java Subtyping Operad

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

10.1145/3103111.3104043 ◽

2017 ◽

Cited By ~ 1

Author(s):

Moez A. AbdelGawad

Download Full-text

Mutable WadlerFest DOT

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

10.1145/3103111.3104036 ◽

2017 ◽

Cited By ~ 2

Author(s):

Marianna Rapoport ◽

Ondřej Lhoták

Download Full-text

Tracing sharing in an imperative pure calculus

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

10.1145/3103111.3104038 ◽

2017 ◽

Cited By ~ 2

Author(s):

Paola Giannini ◽

Marco Servetto ◽

Elena Zucca

Download Full-text

Parametric Trace Expressions for Runtime Verification of Java-Like Programs

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

10.1145/3103111.3104037 ◽

2017 ◽

Cited By ~ 3

Author(s):

Davide Ancona ◽

Angelo Ferrando ◽

Luca Franceschini ◽

Viviana Mascardi

Keyword(s):

Runtime Verification

Download Full-text

Consistency Types for Safe and Efficient Distributed Programming

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

10.1145/3103111.3104044 ◽

2017 ◽

Cited By ~ 2

Author(s):

Alessandro Margara ◽

Guido Salvaneschi

Keyword(s):

Distributed Programming

Download Full-text

Formal Analysis of Object-Oriented Mograms

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

10.1145/3103111.3104042 ◽

2017 ◽

Author(s):

Moussa Amrani ◽

Pierre-Yves Schobbens

Keyword(s):

Formal Analysis ◽

Object Oriented

Download Full-text

Correctness of Partial Escape Analysis for Multithreading Optimization

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

10.1145/3103111.3104039 ◽

2017 ◽

Author(s):

Dustin Rhodes ◽

Cormac Flanagan ◽

Stephen N. Freund

Keyword(s):

Escape Analysis

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Software Model Checking

Generic Approach to Certified Static Checking of Module-like Constructs

A Coq-based synthesis of Scala programs which are correct-by-construction

Towards a Java Subtyping Operad

Mutable WadlerFest DOT

Tracing sharing in an imperative pure calculus

Parametric Trace Expressions for Runtime Verification of Java-Like Programs

Consistency Types for Safe and Efficient Distributed Programming

Formal Analysis of Object-Oriented Mograms

Correctness of Partial Escape Analysis for Multithreading Optimization

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