4211 search results - page 197 / 843 » Types as Abstract Interpretations |
157
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
140
click to vote
CIVR
2003
Springer
15 years 9 months ago
2003
Springer
This paper adopts the premise that the ‘semantic gap' is an incompletely surveyed feature in the landscape of visual image retrieval, and proposes a framework within which t...
157
click to vote
ESOP
1999
Springer
15 years 8 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
113
click to vote
AO
2005
15 years 4 months ago
2005
Relationships are an integral part of the design of a database. Comparing and integrating relationships from heterogeneous databases requires that the relationships be mapped to ea...
280
click to vote
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...