2477 search results - page 12 / 496 » First-Order Interactive Programming |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We prove that interactive learning based classical realizability (introduced by Aschieri and Berardi for first order arithmetic [1]) is sound with respect to Coquand game...
PODS
2006
ACM
14 years 7 months ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
The adapter design pattern [1], commonly used for integration and evolution in component-based systems, is originally described by roles. In classbased systems, the conventional re...
CHI
2009
ACM
13 years 5 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
ISAAC
2010
Springer
13 years 5 months ago
2010
Springer
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...