4513 search results - page 517 / 903 » Logic programming with satisfiability |
136
click to vote
ICARIS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper presents a high level dynamic task allocation algorithm that is inspired by the biological development process and the immune system. For a microprocessor (µP...
149
Voted
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
121
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
115
click to vote
PLDI
2010
ACM
16 years 2 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
119
click to vote
SAS
1999
Springer
15 years 9 months ago
1999
Springer
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...