4880 search results - page 121 / 976 » Manuals as Structured Programs |
108
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
130
Voted
WCET
2010
15 years 1 months ago
2010
Calculating the worst-case execution time (WCET) of real-time tasks is still a tedious job. Programmers are required to provide additional information on the program flow, analyzi...
133
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...
128
Voted
JLP
2010
14 years 10 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
110
Voted
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...