6740 search results - page 690 / 1348 » Using Classification as a Programming Language |
200
click to vote
LCPC
1999
Springer
15 years 11 months ago
1999
Springer
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
214
click to vote
ITP
2010
15 years 8 months ago
2010
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
202
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
193
click to vote
WISE
2009
Springer
16 years 4 months ago
2009
Springer
ct One significant effort towards combining the virtues of Web search, viz. being accessible to untrained users and able to cope with vastly heterogeneous data, with those of dat...
195
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...