678 search results - page 1 / 136 » Dependent Types for Program Understanding |
82
Voted
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
113
click to vote
CSMR
2008
IEEE
15 years 2 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
112
click to vote
IFL
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
GPCE
2008
Springer
15 years 1 months ago
2008
Springer
Extensive research efforts have been devoted to implement a group of type-safe mutually recursive classes; recently, proposals for separating each member of the group as a reusabl...
105
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...