576 search results - page 63 / 116 » XML-RL Update Language |
207
click to vote
POPL
2008
ACM
16 years 5 days ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
IWMM
2004
Springer
15 years 5 months ago
2004
Springer
Concurrent garbage collectors require write barriers to preserve consistency, but these barriers impose significant direct and indirect costs. While there has been a lot of work ...
108
click to vote
AOSD
2008
ACM
15 years 1 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
LREC
2008
15 years 1 months ago
2008
News articles about the same event published over time have properties that challenge NLP and IR applications. A cluster of such texts typically exhibits instances of paraphrase a...