10585 search results - page 1798 / 2117 » The Orc Programming Language |
112
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
124
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we address the lack of extensibility of the exception type in Haskell. We propose a lightweight solution involving the use of existential types and the Typeable clas...
149
click to vote
ITICSE
2006
ACM
15 years 10 months ago
2006
ACM
Current literature states that the undergraduate curriculum can no longer afford the luxury of a traditional compiler construction course. Nevertheless, there is an increasing ne...
122
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ...
130
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Component-oriented programming facilitates the development of reusable application parts encapsulated by welldefined interfaces. There is however a tension between compatibility ...