7112 search results - page 108 / 1423 » Power in normative systems |
CASES
2001
ACM
15 years 8 months ago
2001
ACM
116
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
This paper presents POLUS, a software maintenance tool capable of iteratively evolving running software into newer versions. POLUS's primary goal is to increase the dependabi...
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
134
click to vote
MFCS
2010
Springer
15 years 2 months ago
2010
Springer
We provide a strong normalization result for MLF , a type system generalizing ML with first-class polymorphism as in system F. The proof is achieved by translating MLF into a calc...