124 search results - page 6 / 25 » Full Abstraction for a Shared Variable Parallel Language |
134
Voted
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
151
click to vote
SAS
1995
Springer
15 years 7 months ago
1995
Springer
ntation in Abstract Interpretation AGOSTINO CORTESI Universit`a di Venezia GILBERTO FIL´E Universit`a di Padova ROBERTO GIACOBAZZI Universit`a di Pisa CATUSCIA PALAMIDESSI Univers...
119
Voted
ECOOPW
1994
Springer
15 years 7 months ago
1994
Springer
ing Interactions Based on Message Sets Svend Frr 1 and Gul Agha2. 1 Hewlett-Packard Laboratories, 1501 Page Mill Road, Palo Alto, CA 94303 2 University of Illinois, 1304 W. Springf...
99
Voted
ACL
2006
15 years 4 months ago
2006
A resource grammar is a standard library for the GF grammar formalism. It raises the abstraction level of writing domainspecific grammars by taking care of the general grammatical...
184
Voted
SPE
2011
14 years 10 months ago
2011
Abstract. Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...