325 search results - page 8 / 65 » Extending an Algebraic Modeling Language to Support Constrai... |
ECOOP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
PADL
2004
Springer
14 years 1 months ago
2004
Springer
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...
APSEC
2007
IEEE
14 years 2 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
IJCAI
2003
13 years 9 months ago
2003
To model combinatorial decision problems involving uncertainty and probability, we extend the stochastic constraint programming framework proposed in [Walsh, 2002] along a number ...
ESOP
2001
Springer
14 years 4 days ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...