6740 search results - page 340 / 1348 » Using Classification as a Programming Language |
140
click to vote
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
239
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
126
click to vote
APLAS
2009
ACM
15 years 9 months ago
2009
ACM
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...
148
click to vote
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
218
click to vote
ACMSE
2007
ACM
15 years 7 months ago
2007
ACM
Classification and change detection of land cover types in the remotely sensed images is one of the major applications in remote sensing. This paper presents a hierarchical framew...