4386 search results - page 548 / 878 » A Tamper-Resistant Programming Language System |
113
click to vote
SIGCSE
2009
ACM
16 years 5 months ago
2009
ACM
Dynamic memory management and the use of pointers are critical topics in teaching the C++ language. They are also some of the most difficult for students to grasp properly. The re...
129
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
112
click to vote
CC
2007
Springer
15 years 10 months ago
2007
Springer
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called “weaves”. Like an aspect, a DeepWeaver weave consists of a query part, an...
168
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
134
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...