Blogs (61) >>
Mon 16 Jul 2018 16:00 - 16:25 at Hanoi - Session 3

Verification projects on industrial code have required reasoning about functional programming constructs in Java 8. In our experience so far, verification of functional programming in practice has needed only simple techniques such as inlining. However, in general functional programming will require reasoning about how the specifications of function objects that are inputs to a method combine to produce output function objects. This paper describes our in-progress experience in adapting prior work (Kassios & Müller) to Java 8, JML, and OpenJML.

Mon 16 Jul (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FTfJP-2018-papers
16:00 - 18:15: FTfJP - Session 3 at Hanoi
FTfJP-2018-papers16:00 - 16:25
Short-paper
David CokCEA, LIST, Software Safety and Security Laboratory
Pre-print
FTfJP-2018-papers16:25 - 16:50
Short-paper
Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Luca FranceschiniDIBRIS, University of Genova
Pre-print
FTfJP-2018-papers16:50 - 17:15
Short-paper
Pascal WeisenburgerTechnische Universität Darmstadt, Tobias ReinhardTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
Pre-print
FTfJP-2018-papers17:15 - 17:45
Demonstration
Wytse OortwijnUniversity of Twente, The Netherlands
Pre-print
FTfJP-2018-papers17:45 - 18:15
Full-paper
Sebastiaan Joosten, Wytse OortwijnUniversity of Twente, The Netherlands, Mohsen SafariUniversity of Twente, The Netherlands, Marieke HuismanUniversity of Twente
Pre-print