Imperative Polymorphism by Store-Based Types as Abstract Interpretations
Imperative Polymorphism by Store-Based Types as Abstract Interpretations
复制标题
基于存储的类型的命令式多态性作为抽象解释
DOI：
10.1145/2678015.2682545
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Bach Poulsen C
中科院分区：
文献类型：
--
作者：
Bach Poulsen C
在命令式特征存在的情况下处理多态性是Hindley-Milner类型系统长期存在的开放性问题。一种广泛采用的方法是值限制，它抑制多态泛化，不公平地拒绝各种不会出错的程序。我们将抽象解释视为构建安全和精确类型系统的工具，并研究了如何通过抽象解释派生基于存储的类型。我们建议将基于存储的类型作为一种类型学科，它具有替代值限制的有趣且灵活的潜力。
Dealing with polymorphism in the presence of imperative features is a long-standing open problem for Hindley-Milner type systems. A widely adopted approach is the value restriction, which inhibits polymorphic generalisation and unfairly rejects various programs that cannot go wrong. We consider abstract interpretation as a tool for constructing safe and precise type systems, and investigate how to derive store-based types by abstract interpretation. We propose store-based types as a type discipline that holds potential for interesting and flexible alternatives to the value restriction.
登录
查看更多内容
DOI：
--
发表时间：
2004
期刊：
International Symposium on Functional and Logic Programming (FLOPS) Springer LNCS 2998
影响因子：
--
作者：
Jacques Garrigue;Keiko Nakata;Akira Ito;Jacques GARRIGUE
通讯作者：
Jacques GARRIGUE
DOI：
--
发表时间：
2014
期刊：
European Symposium on Programming
影响因子：
--
作者：
Casper Bach Poulsen;Peter D. Mosses
通讯作者：
Peter D. Mosses
While 的基于跟踪的共导操作语义
DOI：
--
发表时间：
2009
期刊：
International Conference on Theorem Proving in Higher Order Logics
影响因子：
--
作者：
Keiko Nakata;Tarmo Uustalu
通讯作者：
Tarmo Uustalu
DOI：
--
发表时间：
1991
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
X. Leroy;P. Weis
通讯作者：
P. Weis
DOI：
10.1109/lics.1992.185530
发表时间：
1992-06
期刊：
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
J. Talpin;P. Jouvelot
通讯作者：
J. Talpin;P. Jouvelot