4835 search results - page 432 / 967 » Refactoring Functional Programs |
187
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...
192
Voted
ACMMSP
2005
ACM
16 years 1 months 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 ...
203
click to vote
PLDI
2003
ACM
16 years 23 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...
223
click to vote
ECOOP
2010
Springer
16 years 9 days 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...
197
click to vote
COMPSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. For object-oriented programming, the Visitor pattern enables the definition of a new operation on an object structure without changing the classes of the objects. The pri...