300 search results - page 17 / 60 » Bilevel programming: A survey |
IWPC
2007
IEEE
14 years 1 months ago
2007
IEEE
The field of program comprehension is characterized by both the continuing development of new tools and techniques and the adaptation of existing techniques to address program co...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
FSTTCS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Current research in software engineering at Karlstad University is concentrated on non-formal software design methods with a focus on semantics. One goal is to produce methods, wh...