2233 search results - page 9 / 447 » Modular type classes |
218
Voted
ISAS
2004
Springer
16 years 24 days ago
2004
Springer
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
124
Voted
OOPSLA
2000
Springer
15 years 11 months ago
2000
Springer
187
click to vote
ICFP
1997
ACM
15 years 11 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...
182
Voted
TPHOL
2002
IEEE
16 years 10 days ago
2002
IEEE
In this paper we introduce a new approach to axiomatizing quotient types in type theory. We suggest replacing the existing monolithic rule set by a modular set of rules for a speci...
180
Voted
TSE
2008
15 years 7 months ago
2008
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...