FInCo 2007
Here is the draft of a FInCo 2007 paper which elaborates (although still entirely informally) the programming model called declarative interaction which I mentioned in my first posting. FInCo is one of the satellite workshops of ETAPS 2007.
The review comments were useful, and reasonably positive. I'm looking forward to some interesting discussions. I conspicuously failed to give even a passing nod toagent-oriented programming ; given the likely focus at the workshop, this is something I need to learn about.
The review comments were useful, and reasonably positive. I'm looking forward to some interesting discussions. I conspicuously failed to give even a passing nod to
Labels: declarative interaction, interactive computation, interactive programming languages, meta-programming, modality, persistent computation, semantic computing, transactional concurrency
0 Comments:
Post a Comment
<< Home