1189 search results - page 193 / 238 » The Quotient of an Abstract Interpretation |
118
click to vote
CL
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
110
click to vote
ER
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The popularity and press surrounding the release of XML has created widespread interest in standards within particular communities that focus on representing content. The...
101
click to vote
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...
107
click to vote
HYBRID
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
113
click to vote
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We describe SAFL, a call-by-value first-order functional language which is syntactically restricted so that storage may be statically allocated to fixed locations. Evalua...