1880 search results - page 237 / 376 » A Static Analysis for Beta-Binders |
184
click to vote
FOAL
2007
ACM
15 years 10 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
168
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
143
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- In order to continue to produce circuits of increasing speeds, designers must consider aggressive circuit design styles such as self-resetting or delayed-reset domino ci...
170
click to vote
CAIP
2005
Springer
15 years 8 months ago
2005
Springer
The goal of the works described in this paper is to improve results produced by an object detector operating independently on each frame of a video document in order to generate a ...
180
click to vote
CSREAESA
2004
15 years 8 months ago
2004
In this paper we present an approach to the optimisation of interpreted Java programs using superinstructions. Unlike existing techniques, we examine the feasibility of identifying...