1175 search results - page 107 / 235 » Abstract computability and algebraic specification |
CADE
1990
Springer
14 years 1 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
WFLP
2000
Springer
14 years 17 days ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
JOT
2010
13 years 7 months ago
2010
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
IWCC
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper, we present techniques and algorithms to improve the performance of various communication patterns on message-passing platforms where, for reasons of safety, user-le...
COORDINATION
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The fact that so many different kinds of coordination models and languages have been proposed suggests that no one single approach will be the best for all coordination p...