2477 search results - page 187 / 496 » First-Order Interactive Programming |
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
ICFP
2010
ACM
13 years 9 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
RIA
2007
13 years 8 months ago
2007
Continuations are a well established programming concept that allows capturing and resuming the current program state. They can be found in several functional programming languages...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
Television is increasingly viewed through computers in the form of downloaded or steamed content, yet computer based television consumption has received little attention in HCI. I...
ESOP
2009
Springer
14 years 4 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...