750 search results - page 61 / 150 » Declarative event-oriented programming |
101
click to vote
SC
1992
ACM
15 years 6 months ago
1992
ACM
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...
123
Voted
FMOODS
2008
15 years 3 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...
162
click to vote
OOPSLA
2010
Springer
15 years 2 days ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
235
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...
110
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...