2233 search results - page 139 / 447 » Modular type classes |
128
click to vote
SAIG
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...
142
Voted
LICS
2012
IEEE
13 years 5 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
106
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
We present the design of Dynabot, a guided Deep Web discovery system. Dynabot's modular architecture supports focused crawling of the Deep Web with an emphasis on matching, p...
116
click to vote
PODS
2006
ACM
16 years 2 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...
115
click to vote
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...