2625 search results - page 252 / 525 » The development of the Emerald programming language |
163
click to vote
CC
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Optimizing compilers typically limit the scope of their analyses and optimizations to individual modules. This has two drawbacks: rst, library code cannot be optimized to...
176
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
154
click to vote
LPNMR
2007
Springer
16 years 24 days ago
2007
Springer
Answer-set programming (ASP) has become an important paradigm for declarative problem solving in recent years. However, to further improve the usability of answer-set programs, the...
194
click to vote
CP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In this paper, we present a constraint-partitioning approach for finding local optimal solutions of large-scale mixed-integer nonlinear programming problems (MINLPs). Ba...
184
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...