678 search results - page 47 / 136 » Dependent Types for Program Understanding |
DIAGRAMS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We present a method for constructing a teleological model of a drawing of a physical device through analogical transfer of the teleological model of the same device in an...
IWPC
2006
IEEE
14 years 3 months ago
2006
IEEE
Software systems are often written in more than one programming language. During development, programmers need to understand not only the dependencies among code in a particular l...
CTCS
1989
Springer
14 years 1 months ago
1989
Springer
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
GECCO
2000
Springer
14 years 20 days ago
2000
Springer
This paper presents the emergence of the cooperative behavior for multiple agents by means of Genetic Programming (GP). For the purpose of evolving the effective cooperative behav...
POPL
2003
ACM
14 years 9 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...