11017 search results - page 231 / 2204 » Closure Systems and their Structure |
136
click to vote
DSL
1997
15 years 7 months ago
1997
DiSTiL is a software generator that implements a declarative domain-specific language (DSL) for container data structures. DiSTiL is a representative of a new approach to domain-...
171
click to vote
PTS
2000
15 years 7 months ago
2000
Coverage analysis of programs and specifications is a common approach to measure the quality and the adequacy of a test suite. This paper presents a probe insertion technique for m...
162
click to vote
COLING
1994
15 years 7 months ago
1994
: We demonstrate an approach and an accompanying UNIX toolbox for performing wtrious kinds of Knowledge tT,xlractions and Structuring. The goal is to "practically" enhanc...
162
click to vote
HT
2005
ACM
15 years 11 months ago
2005
ACM
Hyperlinks are an essential feature of the World Wide Web, highly responsible for its success. XLink improves on HTML’s linking capabilities in several ways. In particular, link...
171
click to vote
FROCOS
2000
Springer
15 years 9 months ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...