Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kenny Zhuo Ming Lu, Daniel Yu Hian Low |
Constructing Structured SSA from FJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023, pp. 58-64, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luka Miljak, Casper Bach Poulsen, Flip van Spaendonck |
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023, pp. 44-50, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Edward Lee, Kavin Satheeskumar, Ondrej Lhoták |
Dependency-Free Capture Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023, pp. 39-43, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Timon Böhler, David Richter, Mira Mezini |
Using Rewrite Strategies for Efficient Functional Automatic Differentiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023, pp. 51-57, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Baber Rehman |
Correctness-by-Construction Meets Refinement Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023, pp. 8-10, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Niels Mommen, Bart Jacobs 0002 |
Verifying C++ Dynamic Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023, pp. 1-7, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Tomb (eds.) |
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![ACM The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Ângelo 0002, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido |
Gradual Guarantee for FJ with lambda-Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023, pp. 32-38, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Loulergue, Jolan Philippe |
Towards Verified Scalable Parallel Computing with Coq and Spark. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023, pp. 11-17, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi |
Runtime Verification of Hash Code in Mutable Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023, pp. 25-31, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Cardenas, Paul Leger, Hiroaki Fukuda, Nicolás Cardozo |
Points-to Analysis for Context-Oriented JavaScript Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023, pp. 18-24, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Amato, Maria Chiara Meo, Francesca Scozzari |
On the Need for a Common API for Abstract Domains of Object-Oriented Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022, pp. 15-17, 2022, ACM. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter |
A Graph-Based Formal Semantics of Reactive Programming from First Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022, pp. 18-25, 2022, ACM. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | David R. Cok |
Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022, pp. 26-28, 2022, ACM. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai Kudasov, Violetta Sim |
Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022, pp. 29-36, 2022, ACM. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | James Noble 0001, Julian Mackay, Tobias Wrigstad |
Rusty Links in Local Chains✱. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022, pp. 1-3, 2022, ACM. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nick Webster, Marco Servetto, Michael Homer |
Using Functional Reactive Programming to Define Safe Actor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022, pp. 4-10, 2022, ACM. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Henrique Rebêlo (eds.) |
Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![ACM The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok |
Automated Reasoning Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022, pp. 11-14, 2022, ACM. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Indigo Orton, Alan Mycroft |
Refactoring traces to identify concurrency improvements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021., pp. 16-23, 2021, ACM, 978-1-4503-8543-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Armand Puccetti, Gaël de Chalendar, Pierre-Yves Gibello |
Combining formal and machine learning techniques for the generation of JML specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021., pp. 59-64, 2021, ACM, 978-1-4503-8543-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman |
IntelliJML: a JML plugin for IntelliJ IDEA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021., pp. 39-42, 2021, ACM, 978-1-4503-8543-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Pfeifer, Jonas Schiffl, Mattias Ulbrich |
Reconstructing z3 proofs in KeY: there and back again. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021., pp. 24-31, 2021, ACM, 978-1-4503-8543-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Schöpp, Chuangjie Xu |
A generic type system for featherweight Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021., pp. 9-15, 2021, ACM, 978-1-4503-8543-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen |
Behavioural separation with parallel usages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021., pp. 51-58, 2021, ACM, 978-1-4503-8543-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Weitian Xing, Yuanhui Cheng, Werner Dietl |
Ensuring correct cryptographic algorithm and provider usage at compile time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021., pp. 43-50, 2021, ACM, 978-1-4503-8543-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Indigo Orton, Alan Mycroft |
Source code patches from dynamic analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021., pp. 1-8, 2021, ACM, 978-1-4503-8543-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David R. Cok |
JML and OpenJML for Java 16. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021., pp. 65-67, 2021, ACM, 978-1-4503-8543-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David R. Cok (eds.) |
FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![ACM, 978-1-4503-8543-5 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marie Farrell, Conor Reynolds, Rosemary Monahan |
Using dafny to solve the VerifyThis 2021 challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021., pp. 32-38, 2021, ACM, 978-1-4503-8543-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Barbieri, Francesco Dagnino, Elena Zucca |
An inductive abstract semantics for coFJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020, pp. 4-9, 2020, ACM, 978-1-4503-8186-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mirko Köhler 0001, Nafise Eskandani Masoule, Alessandro Margara, Guido Salvaneschi |
ConSysT: tunable, safe consistency meets object-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020, pp. 15-17, 2020, ACM, 978-1-4503-8186-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Hans-Dieter A. Hiep |
History-based specification and verification of Java collections in KeY (keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020, pp. 2-3, 2020, ACM, 978-1-4503-8186-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marieke Huisman, Anton Wijs |
Towards verified construction of correct and optimised GPU software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020, pp. 10-14, 2020, ACM, 978-1-4503-8186-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander J. Summers |
Prusti: deductive verification for Rust (keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020, pp. 1, 2020, ACM, 978-1-4503-8186-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joanna C. S. Santos, Reese A. Jones, Mehdi Mirakhorli |
Salsa: static analysis of serialization features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020, pp. 18-25, 2020, ACM, 978-1-4503-8186-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Reinhard, Amin Timany, Bart Jacobs 0002 |
A separation logic to verify termination of busy-waiting for abrupt program exit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020, pp. 26-32, 2020, ACM, 978-1-4503-8186-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wytse Oortwijn (eds.) |
FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![ACM, 978-1-4503-8186-4 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Willem Penninckx, Amin Timany, Bart Jacobs 0002 |
Specifying I/O using abstract nested hoare triples in separation logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019, pp. 5:1-5:7, 2019, ACM, 978-1-4503-6864-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Mariusz Lester |
Analysis of MiniJava programs via translation to ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019, pp. 6:1-6:3, 2019, ACM, 978-1-4503-6864-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mohammadsadegh Dalvandi, Brijesh Dongol |
Towards deductive verification of C11 programs with Event-B and ProB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019, pp. 4:1-4:7, 2019, ACM, 978-1-4503-6864-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Fangzhen Lin |
Translating classes to first-order logic: an example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019, pp. 7:1-7:3, 2019, ACM, 978-1-4503-6864-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Scott Owens |
Building trustworthy software with CakeML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019, pp. 2:1, 2019, ACM, 978-1-4503-6864-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Julia Belyakova |
Decidable tag-based semantic subtyping for nominal types, tuples, and unions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019, pp. 3:1-3:11, 2019, ACM, 978-1-4503-6864-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Rümmer |
JayHorn: a Java model checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019, pp. 1:1, 2019, ACM, 978-1-4503-6864-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Toby Murray, Gidon Ernst (eds.) |
Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![ACM, 978-1-4503-6864-3 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Moez A. AbdelGawad |
Towards a Java Subtyping Operad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017, pp. 3:1-3:6, 2017, ACM, 978-1-4503-5098-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Julia Belyakova |
Generic Approach to Certified Static Checking of Module-like Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017, pp. 5:1-5:2, 2017, ACM, 978-1-4503-5098-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Moussa Amrani, Pierre-Yves Schobbens |
Formal Analysis of Object-Oriented Mograms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017, pp. 2:1-2:6, 2017, ACM, 978-1-4503-5098-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Youssef El Bakouny, Tristan Crolard, Dani Mezher |
A Coq-based synthesis of Scala programs which are correct-by-construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017, pp. 4:1-4:2, 2017, ACM, 978-1-4503-5098-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh |
Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017, pp. 1:1-1:2, 2017, ACM, 978-1-4503-5098-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Margara, Guido Salvaneschi |
Consistency Types for Safe and Efficient Distributed Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017, pp. 8:1-8:2, 2017, ACM, 978-1-4503-5098-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Angelo Ferrando 0001, Luca Franceschini, Viviana Mascardi |
Parametric Trace Expressions for Runtime Verification of Java-Like Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017, pp. 10:1-10:6, 2017, ACM, 978-1-4503-5098-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marianna Rapoport, Ondrej Lhoták |
Mutable WadlerFest DOT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017, pp. 7:1-7:6, 2017, ACM, 978-1-4503-5098-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dustin Rhodes, Cormac Flanagan, Stephen N. Freund |
Correctness of Partial Escape Analysis for Multithreading Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017, pp. 9:1-9:6, 2017, ACM, 978-1-4503-5098-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![ACM, 978-1-4503-5098-3 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paola Giannini, Marco Servetto, Elena Zucca |
Tracing sharing in an imperative pure calculus: extended abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017, pp. 6:1-6:6, 2017, ACM, 978-1-4503-5098-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Hoyland, Matthew Hague |
Generating Concurrency Checks Automatically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016, pp. 4, 2016, ACM, 978-1-4503-4439-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Davide Ancona, Andrea Corradi |
A formal account of SSA in Java-like languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016, pp. 2, 2016, ACM, 978-1-4503-4439-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Paola Giannini, Marco Servetto, Elena Zucca |
Coupling catch clauses with local declarations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016, pp. 6, 2016, ACM, 978-1-4503-4439-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Vladimir Klebanov (eds.) |
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![ACM, 978-1-4503-4439-5 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tomoyuki Aotani, Gary T. Leavens |
Towards Modular Reasoning for Context-Oriented Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016, pp. 8, 2016, ACM, 978-1-4503-4439-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Gurvan Cabon, David Cachera, David Pichardie |
An Extended Buffered Memory Model With Full Reorderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016, pp. 5, 2016, ACM, 978-1-4503-4439-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Sophia Drossopoulou, James Noble 0001, Mark S. Miller, Toby C. Murray |
Permission and Authority Revisited towards a formalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016, pp. 10, 2016, ACM, 978-1-4503-4439-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Jens Dietrich 0001, Nicholas Hollingum, Bernhard Scholz |
A Note on the Soundness of Difference Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016, pp. 3, 2016, ACM, 978-1-4503-4439-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Bart Jacobs 0002 |
Partial Solutions to VerifyThis 2016 Challenges 2 and 3 with VeriFast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016, pp. 7, 2016, ACM, 978-1-4503-4439-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Timothy Jones 0002, David J. Pearce 0001 |
A Mechanical Soundness Proof for Subtyping Over Recursive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016, pp. 1, 2016, ACM, 978-1-4503-4439-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Davide Ancona, Francesco Dagnino, Elena Zucca |
Towards a model of corecursion with default. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016, pp. 9, 2016, ACM, 978-1-4503-4439-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich |
Regression verification for Java using a secure information flow calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015, pp. 6:1-6:6, 2015, ACM, 978-1-4503-3656-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Reza Ahmadi, K. Rustan M. Leino, Jyrki Nummenmaa |
Automatic verification of Dafny programs with traits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015, pp. 4:1-4:5, 2015, ACM, 978-1-4503-3656-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rosemary Monahan (eds.) |
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![ACM, 978-1-4503-3656-7 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0002 |
Provably live exception handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015, pp. 7:1-7:4, 2015, ACM, 978-1-4503-3656-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Joana Campos 0002, Vasco T. Vasconcelos |
Imperative objects with dependent types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015, pp. 2:1-2:6, 2015, ACM, 978-1-4503-3656-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yuyan Bao, Gary T. Leavens, Gidon Ernst |
Conditional effects in fine-grained region logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015, pp. 5:1-5:6, 2015, ACM, 978-1-4503-3656-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski |
Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015, pp. 8:1-8:6, 2015, ACM, 978-1-4503-3656-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Prodromos Gerakios, George Fourtounis, Yannis Smaragdakis |
Foo: a minimal modern OO calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015, pp. 3:1-3:4, 2015, ACM, 978-1-4503-3656-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Federico Frassetto |
A three-valued type system for true positives detection in Java-like languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015, pp. 1:1-1:7, 2015, ACM, 978-1-4503-3656-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | John Tang Boyland, Peter Müller 0001, Malte Schwerhoff, Alexander J. Summers |
Constraint Semantics for Abstract Read Permissions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014, pp. 2:1-2:6, 2014, ACM, 978-1-4503-2866-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David J. Pearce 0001 (eds.) |
Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![ACM, 978-1-4503-2866-1 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Jones 0002, James Noble 0001 |
Tinygrace: A Simple, Safe, and Structurally Typed Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014, pp. 3:1-3:6, 2014, ACM, 978-1-4503-2866-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom |
Verifying Functional Behaviour of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014, pp. 4:1-4:6, 2014, ACM, 978-1-4503-2866-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | James Noble 0001, Sophia Drossopoulou |
Rationally Reconstructing the Escrow Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014, pp. 5:1-5:6, 2014, ACM, 978-1-4503-2866-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona |
How to prove type soundness of Java-like languages without forgoing big-step semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014, pp. 1:1-1:6, 2014, ACM, 978-1-4503-2866-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Rytz, Nada Amin, Martin Odersky |
A flow-insensitive, modular effect system for purity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013, pp. 4:1-4:7, 2013, ACM, 978-1-4503-2042-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Servetto, Lindsay Groves |
True small-step reduction for imperative object oriented languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013, pp. 1:1-1:7, 2013, ACM, 978-1-4503-2042-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yan Zhang 0017, Béatrice Bérard, Lom-Messan Hillah, Yann Thierry-Mieg |
Semi-automatic controller design of Java-like models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013, pp. 3:1-3:7, 2013, ACM, 978-1-4503-2042-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Werner Dietl (eds.) |
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![ACM, 978-1-4503-2042-9 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ana L. Milanova, Wei Huang 0001 |
Composing polymorphic information flow systems with reference immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013, pp. 5:1-5:7, 2013, ACM, 978-1-4503-2042-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Elena Zucca |
Safe corecursion in coFJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013, pp. 2:1-2:7, 2013, ACM, 978-1-4503-2042-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David J. Pearce 0001 |
A calculus for constraint-based flow typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013, pp. 7:1-7:7, 2013, ACM, 978-1-4503-2042-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sophia Drossopoulou, James Noble 0001 |
The need for capability policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013, pp. 6:1-6:7, 2013, ACM, 978-1-4503-2042-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Welsch, Arnd Poetzsch-Heffter |
Verifying backwards compatibility of object-oriented libraries using Boogie. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012, pp. 35-41, 2012, ACM, 978-1-4503-1272-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Elena Zucca |
Corecursive Featherweight Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012, pp. 3-10, 2012, ACM, 978-1-4503-1272-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron 0001 |
Encoding Featherweight Java with assignment and immutability using the Coq proof assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012, pp. 11-19, 2012, ACM, 978-1-4503-1272-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tom Van Cutsem |
AmbientTalk: modern actors for modern networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012, pp. 2, 2012, ACM, 978-1-4503-1272-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wei-Ngan Chin, Aquinas Hobor (eds.) |
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![ACM, 978-1-4503-1272-1 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jens Palsberg |
Featherweight X10: a core calculus for async-finish parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012, pp. 1, 2012, ACM, 978-1-4503-1272-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Nathaniel Mote, Brian Walker, Seth Cooper, Timothy Pavlik, Zoran Popovic |
Verification games: making verification fun. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012, pp. 42-49, 2012, ACM, 978-1-4503-1272-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ben Horsfall, Nathaniel Charlton, Bernhard Reus |
Verifying the reflective visitor pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012, pp. 27-34, 2012, ACM, 978-1-4503-1272-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eric Spishak, Werner Dietl, Michael D. Ernst |
A type system for regular expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012, pp. 20-26, 2012, ACM, 978-1-4503-1272-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|