1174 search results - page 157 / 235 » Functional Trees |
120
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The use of spreadsheets to capture information is widespread in industry. Spreadsheets can thus be a wealthy source of domain information. We propose to automatically ext...
114
click to vote
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
122
click to vote
HOA
1993
15 years 7 months ago
1993
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...
232
click to vote
PLILP
1993
Springer
15 years 7 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...
126
click to vote
ASPDAC
2009
ACM
15 years 7 months ago
2009
ACM
The number of vias generated during the global routing stage is a critical factor for the yield of final circuits. However, most global routers only approach the problem by chargin...