4211 search results - page 719 / 843 » Types as Abstract Interpretations |
134
click to vote
CMC
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this chapter we report on an investigation into the principles underlying the choice of a particular referential expression to refer to an object located in a domain t...
127
click to vote
ERCIMDL
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper, we describe a scenario for a distributed marketplace on the Web where resource discovery agents find out about resources that may want to join the marketpl...
147
click to vote
IFIP
1998
Springer
15 years 8 months ago
1998
Springer
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
130
click to vote
LACL
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...
156
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...