6960 search results - page 178 / 1392 » Continuity Analysis of Programs |
98
Voted
MOR
2010
14 years 10 months ago
2010
126
Voted
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
149
click to vote
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
128
Voted
ASE
2004
15 years 3 months ago
2004
Abstract. The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory acce...
152
Voted
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...