3815 search results - page 102 / 763 » An Implementation of Session Types |
98
Voted
TACS
1997
Springer
15 years 6 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
193
Voted
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
The description, composition, and execution of even logically simple scientific workflows are often complicated by the need to deal with "messy" issues like heterogeneou...
114
Voted
GPCE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such ...
125
click to vote
TPHOL
2002
IEEE
15 years 7 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
121
click to vote
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments th...