598 search results - page 50 / 120 » Procedure Based Program Compression |
135
click to vote
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
165
click to vote
ICSM
2008
IEEE
15 years 11 months ago
2008
IEEE
Change impact analysis is a useful technique for software evolution. It determines the effects of a source editing session and provides valuable feedbacks to the programmers for m...
159
click to vote
LPKR
1997
Springer
15 years 8 months ago
1997
Springer
We present the system LAP (Learning Abductive Programs) that is able to learn abductive logic programs from examples and from a background abductive theory. A new type of induction...
139
Voted
PLILP
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
114
Voted
SIAMJO
2008
15 years 4 months ago
2008
This paper presents a parameter-free integer-programming based algorithm for the global resolution of a linear program with linear complementarity constraints (LPCC). The cornersto...