2173 search results - page 270 / 435 » An operational semantics for skeletons |
109
click to vote
ICFP
2001
ACM
16 years 22 days ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
134
Voted
MOBISYS
2003
ACM
16 years 11 days ago
2003
ACM
3], in that it integrates a service-oriented abstraction with the operating system socket interface and provides adaptive service access at the end-host session layer. However, our...
102
Voted
CC
2010
Springer
15 years 7 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
120
Voted
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
85
Voted
DSN
2009
IEEE
15 years 7 months ago
2009
IEEE
We consider a set of clients collaborating through an online service provider that is subject to attacks, and hence y trusted by the clients. We introduce the abstraction of a fai...