6583 search results - page 44 / 1317 » Semantic Analysis Patterns |
IBPRIA
2007
Springer
15 years 6 months ago
2007
Springer
IBPRIA
2003
Springer
15 years 5 months ago
2003
Springer
IBPRIA
2003
Springer
15 years 5 months ago
2003
Springer
AMAST
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
The use of bad names — names that are wrong, inconsistent or inconcise — hinder program comprehension. The root of the problem is that there is no mechanism for aligning the n...