1239 search results - page 158 / 248 » Control Generation for Logic Programs |
118
click to vote
PLILP
1993
Springer
15 years 6 months ago
1993
Springer
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...
134
Voted
CBSE
2005
Springer
15 years 7 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
127
click to vote
SIGMOD
2004
ACM
15 years 7 months ago
2004
ACM
Future business applications will often have more than 2,000 forms and need to target several user interface (UI) technologies including: Web Browsers, Windows® Applications, PDA...
136
Voted
DAC
2004
ACM
15 years 6 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
133
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...