678 search results - page 84 / 136 » Dependent Types for Program Understanding |
WOTUG
2008
13 years 9 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
ESOP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
INFSOF
2010
13 years 6 months ago
2010
Context: Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages. Maintainers of large systems need to understand how packages relate to...
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
Software developers have long known that project success requires a robust understanding of both technical and social linkages. However, research has largely considered these inde...