4211 search results - page 414 / 843 » Types as Abstract Interpretations |
136
Voted
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In [6] J. Laird has shown that an infinitary sequential extenPCF has a fully abstract model in his category of locally boolean domains (introduced in [8]). In this paper ...
158
click to vote
SAS
2000
Springer
15 years 10 months ago
2000
Springer
d Abstract) James Riely1 and Jan Prins2 1 DePaul University 2 University of North Carolina at Chapel Hill Abstract. Flattening is a program transformation that eliminates nested pa...
187
click to vote
ACSW
2007
15 years 8 months ago
2007
Traditional DHT (Distributed Hash Tables) abstraction distributes data items among peer nodes on a structured overlay network. This introduces a number of issues when nodes are un...
184
click to vote
DBA
2006
15 years 8 months ago
2006
This paper presents an approach to produce generalization candidates for a concept hierarchy without the necessity of being an expert in the domain to be generalized and ...
175
click to vote
FORTE
2003
15 years 8 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...