5090 search results - page 625 / 1018 » Constructing Strategies for Programming |
207
click to vote
TPHOL
2005
IEEE
16 years 11 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
183
click to vote
PLDI
2005
ACM
16 years 11 days ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
174
click to vote
FASE
2005
Springer
16 years 10 days ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
173
click to vote
SAC
2004
ACM
16 years 7 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...
193
click to vote
ECOOP
2004
Springer
16 years 6 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...