6740 search results - page 1169 / 1348 » Using Classification as a Programming Language |
111
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. We present an approach to discovering parameter referen...
120
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...
112
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
147
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Instruction set simulators are common tools used for the development of new architectures and embedded software among countless other functions. This paper presents a framework th...
169
Voted
KBSE
2006
IEEE
15 years 11 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...