7112 search results - page 108 / 1423 » Power in normative systems |
57
Voted
CASES
2001
ACM
15 years 4 months ago
2001
ACM
79
Voted
ICSE
2007
IEEE-ACM
16 years 25 days 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...
86
Voted
DAC
2001
ACM
16 years 1 months ago
2001
ACM
46
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
99
Voted
MFCS
2010
Springer
14 years 11 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...