479 search results - page 20 / 96 » On Static Properties of Specialized Programs |
90
Voted
SERP
2004
15 years 2 months ago
2004
Cohesion is one of the fundamental measures of the 'goodness' of a software design. The most accepted and widely studied object-oriented cohesion metric is Chidamber and...
83
Voted
IJAC
2008
15 years 23 days ago
2008
We study what kinds of limits are preserved by the greatest semilattice image functor from the category of all semigroups to its subcategory of all semilattices. The second autho...
149
click to vote
ICST
2009
IEEE
14 years 10 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
136
Voted
ASP
2003
Springer
15 years 6 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
117
Voted
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...