4257 search results - page 64 / 852 » The Logical Modularity of Programs |
110
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we present a preliminary logic-based evaluation of the integration of post-composed phenotypic descriptions with domain ontologies. The evaluation has been performed ...
117
click to vote
LFCS
2007
Springer
15 years 8 months ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
111
Voted
IANDC
2010
15 years 26 days ago
2010
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
141
click to vote
ASE
2005
15 years 2 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
167
Voted
OOPSLA
2010
Springer
15 years 6 days ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...