4880 search results - page 73 / 976 » Manuals as Structured Programs |
DIMVA
2009
15 years 29 days ago
2009
Abstract. This paper introduces a new software polymorphism technique that randomizes program data structure layout. This technique will generate different data structure layouts f...
106
click to vote
PLDI
1995
ACM
15 years 3 months ago
1995
ACM
The control dependence relation is used extensively in restructuring compilers. This relation is usually represented using the control dependence graph; unfortunately, the size of...
102
click to vote
IEE
2008
14 years 12 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
83
Voted
CSCW
2000
ACM
15 years 4 months ago
2000
ACM
In general, collaboration infrastructures have supported sharing of an object based on its logical structure. However, current implementations assume an implicit binding between t...
SIGPLAN
2002
14 years 11 months ago
2002
In this paper, we present a new framework for the definition of various data structures (including trees and arrays) together with a generic language of filters enabling a rule-ba...