ECOOP and ISSTA 2018 (series) / FTfJP 2018 (series) / FTfJP /
A Formalism for Specification of Java API Interfaces
The standard Java API defines a number of useful and widely used interfaces, where the flow of methods invoked on objects must follow certain patterns to ensure their correct use. Typically, such patterns are informally specified in the documentation with several rules, which often do not cover full details, and are scattered throughout the whole documentation, since they usually involve more methods which are invoked subsequently. Failing to follow such rules causes a throw of IllegalStateException, or similar exceptions. Let us consider, for instance, the specification of the following types defined by the standard API of Java 10 in module java.base.
Mon 16 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 16 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 16:25 Short-paper | Reasoning about Functional Programming in Java and C++ FTfJP David CokCEA, LIST, Software Safety and Security Laboratory Pre-print | ||
16:25 - 16:50 Short-paper | A Formalism for Specification of Java API Interfaces FTfJP Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Luca FranceschiniDIBRIS, University of Genova Pre-print | ||
16:50 - 17:15 Short-paper | Static Latency Tracking with Placement Types FTfJP Pascal WeisenburgerTechnische Universität Darmstadt, Tobias ReinhardTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt Pre-print | ||
17:15 - 17:45 Demonstration | Tool demonstration: The VerCors Verification Toolset FTfJP Wytse OortwijnUniversity of Twente, The Netherlands Pre-print | ||
17:45 - 18:15 Full-paper | An Exercise in Verifying Sequential Programs with VerCors FTfJP Sebastiaan Joosten, Wytse OortwijnUniversity of Twente, The Netherlands, Mohsen SafariUniversity of Twente, The Netherlands, Marieke HuismanUniversity of Twente Pre-print |