Sciweavers

1159 search results - page 9 / 232
» Adding Concurrency to a Programming Language
Sort
View
IPPS
1999
IEEE
13 years 12 months ago
Concurrent Language Support for Interoperable Applications
Current language mechanisms for concurrency are largely isolated to the domain of single programs. Furthermore, increasing interest in concurrent programming encourages further res...
Eugene F. Fodor, Ronald A. Olsson
POPL
1998
ACM
13 years 11 months ago
Secure Information Flow in a Multi-Threaded Imperative Language
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
Geoffrey Smith, Dennis M. Volpano
ICTL
1994
13 years 11 months ago
A Survey of Concurrent METATEM - the Language and its Applications
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...
Michael Fisher
BIRTHDAY
2000
Springer
13 years 12 months ago
Pict: a programming language based on the Pi-Calculus
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
Benjamin C. Pierce, David N. Turner
CONCURRENCY
2004
90views more  CONCURRENCY 2004»
13 years 7 months ago
Programming and coordinating Grid environments and applications
The heterogeneous and dynamic nature of Grid environments place new demands on models and paradigms for parallel programming. In this work we discuss how ALua, a programming syste...
Cristina D. Ururahy, Noemi de La Rocque Rodriguez