238 search results - page 8 / 48 » On the Modularity of Theories |
OOPSLA
2001
Springer
15 years 4 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
117
click to vote
CADE
2005
Springer
16 years 4 days ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
CADE
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Using category theoretic notions, in particular diagrams and their colimits, we provide a common semantic backbone for various notions of modularity in structured ontologies, and o...
ECIS
2004
15 years 1 months ago
2004
The organizational capabilities to interact with others have been greatly improved as a result of modern information and communications technologies: Nowadays a company can mainta...