default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th FTfJP@ECOOP 2013: Montpellier, France
- Werner Dietl:
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013. ACM 2013, ISBN 978-1-4503-2042-9 - Marco Servetto, Lindsay Groves:
True small-step reduction for imperative object oriented languages. 1:1-1:7 - Davide Ancona, Elena Zucca:
Safe corecursion in coFJ. 2:1-2:7 - Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Yann Thierry-Mieg
:
Semi-automatic controller design of Java-like models. 3:1-3:7 - Lukas Rytz, Nada Amin, Martin Odersky:
A flow-insensitive, modular effect system for purity. 4:1-4:7 - Ana L. Milanova, Wei Huang:
Composing polymorphic information flow systems with reference immutability. 5:1-5:7 - Sophia Drossopoulou, James Noble:
The need for capability policies. 6:1-6:7 - David J. Pearce:
A calculus for constraint-based flow typing. 7:1-7:7
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-14 00:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
