2466 search results - page 10 / 494 » Concurrent Clustered Programming |
AGP
2010
IEEE
13 years 6 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
ENTCS
2006
13 years 8 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
WCRE
2010
IEEE
13 years 7 months ago
2010
IEEE
—Concurrent programming with shared memory in an object-oriented language such as Java is notoriously difficult. Therefore, it is important to study new program understanding te...
TOOLS
2009
IEEE
14 years 3 months ago
2009
IEEE
PPDP
2009
Springer
14 years 3 months ago
2009
Springer