770 search results - page 40 / 154 » Abstract Yourself With Modules |
91
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
OOPSLA
1995
Springer
15 years 4 months ago
1995
Springer
eusable framework, pattern or module interface usually is represented by abstract They form an abstract design and leave the implementation to concrete subclasses. ract design is ...
87
Voted
DEXA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The notion of dependency is ubiquitous. This paper approaches this notion from the perspective of digital information preservation. At first, an abstract notion of modul...
86
Voted
CORR
2007
Springer
15 years 8 days ago
2007
Springer
Abstract. We propose a new definition for abstract syntax (with binding constructions), and, accordingly, for initial semantics and algebraicity. Our definition is based on the n...
97
Voted
WCRE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—The principles and best practices of object oriented design require that modules in a program should match logical decomposition of the knowledge that the program implem...