3307 search results - page 34 / 662 » The meaning of concurrent programs |
ESOP
2010
Springer
14 years 8 months ago
2010
Springer
HASE
1998
IEEE
14 years 3 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
POPL
1998
ACM
14 years 3 months ago
1998
ACM
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...
ECOOP
2010
Springer
14 years 3 months ago
2010
Springer
CONTEXT
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...