9 search results - page 1 / 2 » Seeking Concurrency in Rule-Based Programming |
ICSE
1992
IEEE-ACM
13 years 8 months ago
1992
IEEE-ACM
FUIN
2006
13 years 4 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
FAC
2000
13 years 4 months ago
2000
Typically, program design involves constructing a program P that implements a given specification S; that is, the set P of executions of P is a subset of the set S of executions s...
CONCUR
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
LMO
1996
13 years 5 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...