6960 search results - page 231 / 1392 » Continuity Analysis of Programs |
150
click to vote
SIGSOFT
2009
ACM
16 years 7 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 ...
162
click to vote
SCAM
2005
IEEE
16 years 2 days 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...
145
click to vote
EUC
2005
Springer
16 years 1 days 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...
154
click to vote
ESOP
2006
Springer
15 years 10 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...
174
click to vote
ESOP
2000
Springer
15 years 10 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...