4386 search results - page 150 / 878 » A Tamper-Resistant Programming Language System |
137
click to vote
PADL
2005
Springer
15 years 7 months ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
107
click to vote
TEI
2009
ACM
15 years 8 months ago
2009
ACM
This paper concerns the design of physical languages for controlling and programming robotic consumer products. For this purpose we explore basic theories of semiotics represented...
118
click to vote
LCPC
2007
Springer
15 years 7 months ago
2007
Springer
Massively parallel SIMD array architectures are making their way into embedded processors. In these architectures, a number of identical processing elements having small private st...
122
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
197
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...