3713 search results - page 518 / 743 » Constructing a Calculus of Programs |
184
Voted
SAC
2004
ACM
16 years 16 days ago
2004
ACM
The term inheritance anomaly was coined in 1993 by Matsuoka and Yonezawa [15] to refer to the problems arising by the coexistence of inheritance and concurrency in concurrent obje...
208
click to vote
ECOOP
2004
Springer
16 years 15 days ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...
204
click to vote
MEMOCODE
2003
IEEE
16 years 11 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
186
click to vote
ICLP
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
186
Voted
IFL
2003
Springer
16 years 9 days ago
2003
Springer
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In t...