Sciweavers

1159 search results - page 11 / 232
» Adding Concurrency to a Programming Language
Sort
View
ECOOP
2010
Springer
14 years 11 days ago
Concurrent Abstract Predicates
Thomas Dinsdale-Young, Mike Dodds, Philippa Gardne...
CSL
1999
Springer
13 years 12 months ago
A Truly Concurrent Semantics for a Simple Parallel Programming Language
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
Paul Gastin, Michael W. Mislove
PLDI
2010
ACM
13 years 10 months ago
DRFX: a simple and efficient memory model for concurrent programming languages
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
Daniel Marino, Abhayendra Singh, Todd D. Millstein...
ECOOP
1992
Springer
13 years 11 months ago
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the for...
Svend Frølund