Fabio Strocco

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 3

Top Topics

Safety Analysis

Programming Language

Database Languages

Top Venues

Sci. Comput. Program.

Publications

Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco
Message safety in Dart. Sci. Comput. Program. 133 (2017)
Gianluca Mezzetti, Anders Møller, Fabio Strocco
Type unsoundness in practice: an empirical study of Dart. DLS (2016)
Thomas S. Heinze, Anders Møller, Fabio Strocco
Type safety analysis for Dart. DLS (2016)
Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco
Message safety in Dart. DLS (2015)
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco
TraitRecordJ: A programming language with traits and records. Sci. Comput. Program. 78 (5) (2013)
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco
A prototypical Java-like language with records and traits. PPPJ (2010)