678 search results - page 3 / 136 » Dependent Types for Program Understanding |
133
Voted
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
214
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
235
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
122
click to vote
ICSE
1997
IEEE-ACM
15 years 6 months ago
1997
IEEE-ACM
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
107
click to vote
IWPC
2003
IEEE
15 years 7 months ago
2003
IEEE
1 : This paper describes a prototype tool that facilitates the process of understanding and managing multi-language program dependencies. More specifically, the software tool main...