4426 search results - page 27 / 886 » Concurrent Constraint Programming |
140
click to vote
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
128
click to vote
CSSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Version control helps coordinating a group of people working concurrently to achieve a shared objective. Concurrency control helps coordinating a group of threads working concurre...
138
click to vote
ENTCS
2006
15 years 2 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...
140
click to vote
WCRE
2010
IEEE
15 years 25 days 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...
94
Voted
TOOLS
2009
IEEE
15 years 9 months ago
2009
IEEE
