3385 search results - page 445 / 677 » Language, Logic, and the Brain |
161
click to vote
PEPM
2007
ACM
16 years 22 days ago
2007
ACM
Having been convinced of the potential benefits of partial evaluation, we wanted to conduct some experiments in our favourite Computer Algebra System, Maple. Maple is a large lan...
201
click to vote
WISE
2006
Springer
16 years 18 days ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
181
click to vote
ICFP
2005
ACM
16 years 5 days ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
185
click to vote
ESOP
2005
Springer
16 years 4 days ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
164
Voted
AMAI
2004
Springer
16 years 17 hour ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...