skip to main content
10.1145/2635631acmotherconferencesBook PagePublication PagesecoopConference Proceedingsconference-collections
FTfJP'14: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs
ACM2014 Proceeding
  • Program Chair:
  • David J. Pearce
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
ECOOP '14: European Conference on Object-Oriented Programming Uppsala Sweden 28 July 2014- 1 August 2014
ISBN:
978-1-4503-2866-1
Published:
28 July 2014
In-Cooperation:

Bibliometrics
Skip Abstract Section
Abstract

These are the proceedings of the 16th Workshop on Formal Techniques for Java-like Programs (FTfJP 2014) held together with ECOOP 2014 in Uppsala, Sweden.

Skip Table Of Content Section
tutorial
How to prove type soundness of Java-like languages without forgoing big-step semantics

Small-step operational semantics is the most commonly employed formalism for proving type soundness of statically typed programming languages, because of its ability to distinguish stuck from non-terminating computations, as opposed to big-step ...

tutorial
Constraint Semantics for Abstract Read Permissions

The concept of controlling access to mutable shared data via permissions is at the heart of permission logics such as separation logic and implicit dynamic frames, and is also used in type systems, for instance, to give a semantics to "read-only" ...

tutorial
Tinygrace: A Simple, Safe, and Structurally Typed Language

Grace is a new gradually, structurally typed object-oriented programming language. Formal models of existing languages provide a rigorous base for claiming type soundness, so we have set about creating a model of a subset of Grace. While much of the ...

tutorial
Verifying Functional Behaviour of Concurrent Programs

Specifying the functional behaviour of a concurrent program can often be quite troublesome: it is hard to provide a stable method contract that can not be invalidated by other threads. In this paper we propose a novel modular technique for specifying ...

tutorial
Rationally Reconstructing the Escrow Example

The Escrow Exchange Contract has been used as a case study of building up complex and trustworthy systems from basic object capabilities, in the context of concurrent and distributed programming. In this short paper we present a Rational Reconstruction ...

Contributors
  • Technical University of Madrid
Index terms have been assigned to the content through auto-classification.

Recommendations

Acceptance Rates

FTfJP'14 Paper Acceptance Rate5of8submissions,63%Overall Acceptance Rate51of75submissions,68%
YearSubmittedAcceptedRate
FTFJP'17121083%
FTfJP'16121083%
FTfJP '1514964%
FTfJP'148563%
FTfJP '1314750%
FTfJP '09151067%
Overall755168%