FTfJP
Mon 13 - Fri 17 July 2020 FTfJP 2020 with ECOOP 202022st Workshop on Formal Techniques for Java-like Programs Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in ... |
Mon 15 - Fri 19 July 2019 Hammersmith, London, United KingdomFTfJP 2019 with ECOOP 201921st Workshop on Formal Techniques for Java-like Programs (FTfJP 2019) Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and ap ... |
Mon 16 - Sat 21 July 2018 Amsterdam, NetherlandsFTfJP 2018 with ECOOP and ISSTA 201820th Workshop on Formal Techniques for Java-like Programs Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties. Languages such as Java, C#, and Scala are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applica ... |
Sun 18 - Fri 23 June 2017 Barcelona, SpainFTfJP 2017 with ECOOP 2017FTfJP is an established workshop, running annually since 1999 alongside ECOOP. Its goal is to bring together people working on formal techniques and tool support for Java, or closely related languages such as C# or Scala, either with the aim to describe, analyse, and verify aspects and properties of these programming languages themselves (type systems, semantics, bytecode verification, etc.), or of programs writt ... |
Mon 18 - Fri 22 July 2016 Rome, ItalyFTfJP 2016 with ECOOP 2016Welcome to the18th Workshop onFormal Techniques for Java-like Programs Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties. Languages such as Java, C#, and Scala are interesting targets for formal techniques due to their ubiquity and large installed base, stable and well-defined interfaces and platforms, powerful (but also complex) l ... |
Tue 7 Jul 2015 Prague, Czech RepublicFTfJP 2015 with ECOOP 2015 |