81 search results - page 1 / 17 » Approximating module semantics with constraints |
SAC
2004
ACM
13 years 10 months ago
2004
ACM
LPNMR
2009
Springer
13 years 11 months ago
2009
Springer
We develop a module-based framework for constraint modeling where it is possible to combine different constraint modeling languages and exploit their strengths in a flexible way. ...
ECAI
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. We present an approximation theory for the extended answer set semantics, using the concept of an approximation constraint. Intuitively, an approximation constraint, whil...
AGP
1996
IEEE
13 years 8 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
FSTTCS
2007
Springer
13 years 10 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...