675 search results - page 7 / 135 » Programming Constraint Inference Engines |
TOPLAS
2008
13 years 7 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
COMPSAC
2011
IEEE
12 years 7 months ago
2011
IEEE
ECLIPSE
2005
ACM
13 years 10 months ago
2005
ACM
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
Today’s software does not come with meaningful guarantees. This position paper explores why this is the case, suggests societal and technical impediments to more dependable softw...
ICSE
2010
IEEE-ACM
14 years 22 days ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...