Message safety in Dart
详细信息 查看全文
- 作者：Erik Ernst1 ; eernst@cs.au.dk" class="auth_mail" title="E-mail the corresponding author ; Anders Mø ; ller amoeller@cs.au.dk" class="auth_mail" title="E-mail the corresponding author ; Mathias Schwarz2 ; mro.schwarz@gmail.com" class="auth_mail" title="E-mail the corresponding author ; Fabio Strocco fstrocco@cs.au.dk" class="auth_mail" title="E-mail the corresponding author
- 关键词：Type systems ; Optional types
- 刊名：Science of Computer Programming
- 出版年：2017
- 出版时间：1 January 2017
- 年：2017
- 卷：133
- 期：part_P1
- 页码：51-73
- 全文大小：575 K
文摘
- class="listitem" id="list_ls0010">
- class="label">•
We present a core calculus of Dart, explaining its type system and the causes of unsoundness.
- class="label">•
A notion of message-safe programs is defined, which provides a natural level between dynamic and static typing.
- class="label">•
A soundness theorem is presented, stating that message-safe programs do not cause message-not-understood errors in checked mode execution.
- class="label">•
We report on initial experimental results that support the use of message safety in software development.