350 search results - page 8 / 70 » From control effects to typed continuation passing |
WWW
2005
ACM
14 years 9 months ago
2005
ACM
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...
ISSTA
2010
ACM
14 years 13 days ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
INTERACT
2003
13 years 10 months ago
2003
: This paper presents results from work we have done into the combination of visual and vibrotactile cues for improving user interaction in virtual environments. Using a custom-des...
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...