1173 search results - page 91 / 235 » On the Compositionality of Round Abstraction |
110
click to vote
LMO
1996
15 years 2 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...
96
Voted
ICFP
2007
ACM
16 years 23 days ago
2007
ACM
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
99
Voted
REFSQ
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
89
Voted
CORR
1998
Springer
15 years 14 days ago
1998
Springer
Abstract. This paper presents a novel formalization of optimality theory. Unlike previous treatments of optimality in computational linguistics, starting with Ellison 1994 , the n...