6960 search results - page 231 / 1392 » Continuity Analysis of Programs |
102
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
In this paper, we present Reo2MC, a tool chain for the performance evaluation of coordination models. Given a coordination model represented by a stochastic Reo connector, Reo2MC ...
128
Voted
SCAM
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
110
Voted
EUC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. For the security technology that has been achieved with software in the computer system and the protection of the intellectual property right of software, software protec...
125
Voted
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
132
Voted
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...