default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st FTfJP@ECOOP 2019: London, UK
- Toby Murray, Gidon Ernst
:
Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019. ACM 2019, ISBN 978-1-4503-6864-3 - Philipp Rümmer:
JayHorn: a Java model checker. 1:1 - Scott Owens:
Building trustworthy software with CakeML. 2:1 - Julia Belyakova:
Decidable tag-based semantic subtyping for nominal types, tuples, and unions. 3:1-3:11 - Mohammadsadegh Dalvandi, Brijesh Dongol:
Towards deductive verification of C11 programs with Event-B and ProB. 4:1-4:7 - Willem Penninckx, Amin Timany, Bart Jacobs:
Specifying I/O using abstract nested hoare triples in separation logic. 5:1-5:7 - Martin Mariusz Lester:
Analysis of MiniJava programs via translation to ML. 6:1-6:3 - Fangzhen Lin:
Translating classes to first-order logic: an example. 7:1-7:3
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 2025-02-04 21:08 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
