57 search results - page 12 / 12 » Reporting Failures in Functional Logic Programs |
LOPSTR
2007
Springer
13 years 12 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
ECOOPW
1997
Springer
13 years 10 months ago
1997
Springer
The traditional workflow process model is typically illustrated with a graph of activities, tasks, deliverables and techniques. From an object-oriented perspective, every identifi...