539 search results - page 1 / 108 » Analysis of Types of Self-Improving Software |
137
Voted
CC
2005
Springer
16 years 8 days ago
2005
Springer
146
Voted
SCOPES
2004
Springer
16 years 2 days ago
2004
Springer
154
click to vote
IWPC
2000
IEEE
15 years 11 months ago
2000
IEEE
We combine type inference and concept analysis in order to gain insight into legacy software systems. Type inference for COBOL yields the types for variables and program parameter...
184
Voted
SAC
2011
ACM
14 years 9 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
195
Voted
IFL
2005
Springer
16 years 7 days 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...