Message safety in Dart

Ernst, E; Moller, A; Schwarz, M; Strocco, F

Ernst, E (reprint author), Aarhus Univ, Dept Comp Sci, Aabogade 34, DK-8200 Aarhus, Denmark.; Ernst, E (reprint author), Google Inc, Mountain View, CA 94043 USA.

SCIENCE OF COMPUTER PROGRAMMING, 2017; 133 ( ): 51

Abstract

Unlike traditional static type checking, the type system in the Dart programming language is unsound by design, even for fully annotated programs. The......

Full Text Link