2076 search results - page 284 / 416 » Functional logic overloading |
105
click to vote
AINA
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper introduces a novel approach for modelling and specifying behaviors of Web services. This approach excludes Web services from any composition scenario and sheds the ligh...
96
Voted
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Redundancy Addition and Removal (RAR) is a restructuring technique used in the synthesis and optimization of logic designs. It can remove an existing target wire and add an alte...
125
click to vote
LOPSTR
2009
Springer
15 years 8 months ago
2009
Springer
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...
102
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
116
click to vote
WCRE
2008
IEEE
15 years 8 months ago
2008
IEEE
A business process contains a set of logically related tasks executed to fulfill business goals. Business applications enable organizations to automatically perform their daily op...