769 search results - page 13 / 154 » Analysis of recursively parallel programs |
SAS
2004
Springer
14 years 2 months ago
2004
Springer
This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fiel...
POPL
1995
ACM
14 years 15 days ago
1995
ACM
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...
ASPLOS
2010
ACM
14 years 8 days ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
Given the complexity of parallel programs, developers often must rely on performance analysis tools to help them improve the performance of their code. While many tools support th...