4211 search results - page 428 / 843 » Types as Abstract Interpretations |
167
click to vote
GI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract: The goals of organic computing are difficult to achieve due to the heterogenity of current software components. We believe that in the long term more advanced software a...
191
click to vote
INLG
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present a new approach to the generation of referring expressions containing attributive, type and relational properties combined by conjunctions, disjunctions and neg...
161
click to vote
PAKDD
2004
ACM
16 years 2 days ago
2004
ACM
Abstract. In the context of mining frequent itemsets, numerous strategies have been proposed to push several types of constraints within the most well known algorithms. In this pap...
194
click to vote
PET
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
143
click to vote
HICSS
2003
IEEE
16 years 15 hour ago
2003
IEEE
Abstract. This paper describes a practical approach for implementing certain types of domain-specific languages with extensible compilers. Given a compiler with one or more front-...