678 search results - page 4 / 136 » Dependent Types for Program Understanding |
115
Voted
JFP
2007
15 years 2 months ago
2007
Functional dependencies are a popular and useful extension to Haskell style type classes. We give a reformulation of functional dependencies in terms of Constraint Handling Rules ...
150
Voted
COMPSAC
2000
IEEE
15 years 6 months ago
2000
IEEE
Understanding program dependencies in a computer program is essential for many software engineering tasks such as program understanding, testing, debugging, reverse engineering, a...
105
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
114
click to vote
LISP
2002
15 years 1 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
134
click to vote
CSL
2000
Springer
15 years 6 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...