3713 search results - page 461 / 743 » Constructing a Calculus of Programs |
117
click to vote
DSN
2005
IEEE
15 years 9 months ago
2005
IEEE
Most malicious attacks compromise system security through memory corruption exploits. Recently proposed techniques attempt to defeat these attacks by protecting program control da...
127
click to vote
HASKELL
2005
ACM
15 years 9 months ago
2005
ACM
Some Lisp programs such as Emacs, but also the Linux kernel (when fully modularised) are mostly dynamic; i.e., apart from a small static core, the significant functionality is dy...
148
click to vote
PPOPP
2005
ACM
15 years 9 months ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
127
Voted
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
132
click to vote
DOCENG
2004
ACM
15 years 9 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...