Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
surveys:synthesis [2011/04/19 16:54] jobstman |
surveys:synthesis [2011/04/19 17:07] (current) jobstman |
||
|---|---|---|---|
| Line 29: | Line 29: | ||
| **Motivation.** | **Motivation.** | ||
| - | A solution to this problem would allow augmenting the current programming style, which is mostly imperative, with a declarative, logical style. This is particularly beneficial for systems in which concurrency plays an important role..... | + | A solution to this problem would allow augmenting the current programming style, which is mostly imperative, with a declarative, logical style. This is particularly beneficial for systems in which concurrency plays an important role. |
| In this area approaches can be split into three groups: | In this area approaches can be split into three groups: | ||