Witnessing side-effects

Tachio Terauchi, Alex Aiken

研究成果: Conference contribution

5 被引用数 (Scopus)

抄録

We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based on an arguably more pragmatic motivation than past approaches. We give a semantic condition for correctness and prove it is sufficient.We also give a static checking algorithm that makes use of a network flow property equivalent to the semantic condition.

本文言語English
ホスト出版物のタイトルICFP 2005 - Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming
ページ105-115
ページ数11
DOI
出版ステータスPublished - 2005 12 1
外部発表はい
イベント10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005 - Tallinn, Estonia
継続期間: 2005 9 262005 9 28

出版物シリーズ

名前Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Other

Other10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005
CountryEstonia
CityTallinn
Period05/9/2605/9/28

ASJC Scopus subject areas

  • Software

フィンガープリント 「Witnessing side-effects」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル