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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450344395

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards a model of corecursion with default

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

10.1145/2955811.2955820 ◽

2016 ◽

Cited By ~ 1

Author(s):

Davide Ancona ◽

Francesco Dagnino ◽

Elena Zucca

Download Full-text

An Extended Buffered Memory Model With Full Reorderings

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

10.1145/2955811.2955816 ◽

2016 ◽

Author(s):

Gurvan Cabon ◽

David Cachera ◽

David Pichardie

Keyword(s):

Memory Model

Download Full-text

Towards Modular Reasoning for Context-Oriented Programs

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

10.1145/2955811.2955819 ◽

2016 ◽

Cited By ~ 2

Author(s):

Tomoyuki Aotani ◽

Gary T. Leavens

Keyword(s):

Modular Reasoning

Download Full-text

A Note on the Soundness of Difference Propagation

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

10.1145/2955811.2955814 ◽

2016 ◽

Cited By ~ 1

Author(s):

Jens Dietrich ◽

Nicholas Hollingum ◽

Bernhard Scholz

Download Full-text

Permission and Authority Revisited towards a formalisation

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

10.1145/2955811.2955821 ◽

2016 ◽

Author(s):

Sophia Drossopoulou ◽

James Noble ◽

Mark S. Miller ◽

Toby Murray

Download Full-text

Generating Concurrency Checks Automatically

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

10.1145/2955811.2955815 ◽

2016 ◽

Author(s):

Jonathan Hoyland ◽

Matthew Hague

Download Full-text

A Mechanical Soundness Proof for Subtyping Over Recursive Types

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

10.1145/2955811.2955812 ◽

2016 ◽

Cited By ~ 1

Author(s):

Timothy Jones ◽

David J. Pearce

Download Full-text

A formal account of SSA in Java-like languages

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

10.1145/2955811.2955813 ◽

2016 ◽

Cited By ~ 2

Author(s):

Davide Ancona ◽

Andrea Corradi

Download Full-text

Coupling catch clauses with local declarations

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

10.1145/2955811.2955817 ◽

2016 ◽

Author(s):

Paola Giannini ◽

Marco Servetto ◽

Elena Zucca

Download Full-text

Partial Solutions to VerifyThis 2016 Challenges 2 and 3 with VeriFast

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

10.1145/2955811.2955818 ◽

2016 ◽

Cited By ~ 1

Author(s):

Bart Jacobs

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Towards a model of corecursion with default

An Extended Buffered Memory Model With Full Reorderings

Towards Modular Reasoning for Context-Oriented Programs

A Note on the Soundness of Difference Propagation

Permission and Authority Revisited towards a formalisation

Generating Concurrency Checks Automatically

A Mechanical Soundness Proof for Subtyping Over Recursive Types

A formal account of SSA in Java-like languages

Coupling catch clauses with local declarations

Partial Solutions to VerifyThis 2016 Challenges 2 and 3 with VeriFast

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