Coeffects: Context-aware programming languages
Coeffects are Tomas Petricek's PhD research project. They are a programming language abstraction for understanding how programs access the context or environment in which they execute. The context may be resources on your mobile phone (battery, GPS location or a network printer), IoT devices in a physical neighborhood or historical stock prices. By understanding the neighborhood or history, a cont
Coeffects: Unified static analysis of context-dependence
@inproceedings{coeffects-icalp13, author = {Petricek, Tomas and Orchard, Dominic and Mycroft, Alan}, title = {Coeffects: unified static analysis of context-dependence}, booktitle = {Proceedings of International Conference on Automata, Languages, and Programming - Volume Part II}, series = {ICALP 2013}, location = {Riga, Latvia}, year = {2013} } If you have any comments, suggestions or related idea
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
