540 search results - page 55 / 108 » Protection in Programming-Language Translations |
119
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
118
click to vote
TOOLS
2008
IEEE
15 years 9 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
105
click to vote
ECOOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
124
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
100
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
A critical optimization in the domain of linear signal transforms, such as the discrete Fourier transform (DFT), is loop merging, which increases data locality and reuse and thus ...