487 search results - page 51 / 98 » Aspect-oriented programming with type classes |
SAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
FPCA
1995
13 years 11 months ago
1995
In functional programming, intermediate data structures are often used to “glue’) together small programs. Deforestation is a program transformation to remove these intermedia...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
Regression testing aims at showing that code has not been adversely affected by modification activities during maintenance. Regression test selection techniques reuse tests from...
DBPL
2007
Springer
14 years 1 months ago
2007
Springer
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing impera...
IPCO
2010
13 years 9 months ago
2010
In a column-restricted covering integer program (CCIP), all the non-zero entries of any column of the constraint matrix are equal. Such programs capture capacitated versions of cov...