4212 search results - page 474 / 843 » Rights Expression Languages |
136
click to vote
GPCE
2004
Springer
16 years 4 days ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...
162
click to vote
ICALP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
147
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
215
click to vote
IFM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
197
click to vote
LPAR
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...