975 search results - page 154 / 195 » Declarative Aspect-Oriented Programming |
CAV
2007
Springer
14 years 5 months ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
AICCSA
2006
IEEE
14 years 4 months ago
2006
IEEE
: The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the ...
HASKELL
2006
ACM
14 years 4 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...
HASKELL
2006
ACM
14 years 4 months ago
2006
ACM
Some type class instances can be automatically derived from the structure of types. As a result, the Haskell language includes the “deriving” mechanism to automatic generates ...
SAC
2006
ACM
14 years 4 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 ...