678 search results - page 45 / 136 » Dependent Types for Program Understanding |
ENTCS
2007
13 years 9 months ago
2007
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
Recently, several innovative tools have found their way into mainstream use in modern development environments. However, most of these tools have focused on creating and modifying...
CSMR
2002
IEEE
14 years 2 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...
GSN
2009
Springer
14 years 1 months ago
2009
Springer
The understanding of complex environmental phenomena, such as deforestation and epidemics, requires observations at multiple scales. This scale dependency is not handled well by to...