2138 search results - page 405 / 428 » Logical Step-Indexed Logical Relations |
SIGSOFT
2006
ACM
14 years 11 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
ICDT
2009
ACM
14 years 11 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
WWW
2003
ACM
14 years 11 months ago
2003
ACM
Mobile devices have already been widely used to access the Web. However, because most available web pages are designed for desktop PC in mind, it is inconvenient to browse these l...
ICFP
2009
ACM
14 years 11 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...
PADL
2009
Springer
14 years 11 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...