3713 search results - page 184 / 743 » Constructing a Calculus of Programs |
133
Voted
DALT
2005
Springer
15 years 9 months ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
145
click to vote
PLDI
1993
ACM
15 years 7 months ago
1993
ACM
Program analysis and optimizationcan be speeded upthrough the use of the dependence flow graph (DFG), a representation of program dependences which generalizes def-use chains and...
115
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...
129
click to vote
EUROPAR
2007
Springer
15 years 9 months ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
101
click to vote
C++
1992
15 years 4 months ago
1992
A programming language that lacks facilities for concurrent programming can gain those facilities in two ways: the language can be extended with additional constructs, which will ...