1179 search results - page 105 / 236 » Programming in Hybrid Constraint Languages |
142
Voted
ARTS
1999
Springer
15 years 7 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
100
Voted
CP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present an incomplete filtering algorithm for the circuit constraint. The filter removes redundant values by eliminating nonHamiltonian edges from the associated gra...
127
Voted
LOPSTR
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
127
Voted
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
219
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
Contemporary refactoring tools for JAVA aiding in the restructuring of programs have problems with respecting access modifiers such as public and private: while some tools provide ...