4895 search results - page 441 / 979 » Functional Quantum Programming |
184
click to vote
SCAM
2006
IEEE
16 years 1 months ago
2006
IEEE
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
175
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
179
click to vote
ACMMSP
2005
ACM
16 years 19 days ago
2005
ACM
ct In the past, program monitoring often operates at the code level, performing checks at function and loop boundaries. Recent research shows that profiling analysis can identify ...
195
click to vote
PLDI
2003
ACM
16 years 9 days ago
2003
ACM
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
215
click to vote
ECOOP
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...