3307 search results - page 335 / 662 » The meaning of concurrent programs |
173
click to vote
PLDI
2006
ACM
16 years 23 days ago
2006
ACM
Atomic blocks allow programmers to delimit sections of code as ‘atomic’, leaving the language’s implementation to enforce atomicity. Existing work has shown how to implement...
164
click to vote
ICALP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...
165
Voted
ASWEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Animation tools haveproven to be effective asa means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of...
139
click to vote
ENTCS
2008
15 years 6 months ago
2008
Although programs convey an unambiguous meaning, the grammars used in practice to describe their syntax are often ambiguous, and completed with disambiguation rules. Whether these...
229
click to vote
DLS
2008
15 years 7 months ago
2008
Context-oriented programming proposes to treat execution context explicitly and to provide means for context-dependent adaptation at runtime. There are many mechanisms that can be...