805 search results - page 96 / 161 » On the Semantics of Conditional Commitment |
139
click to vote
FPCA
1995
15 years 8 months ago
1995
Lenient languages, such as Id90, have been touted as among the best functional languages for massively parallel machines AHN88]. Lenient evaluation combines non-strict semantics w...
130
click to vote
SLP
1997
15 years 5 months ago
1997
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
136
click to vote
POPL
2011
ACM
14 years 7 months ago
2011
ACM
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
114
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
Web services help in achieving increased automation across organizational boundaries. In this paper, we present an approach for annotating WSDL documents with semantically rich de...
CSR
2009
Springer
15 years 11 months ago
2009
Springer
We apply the semantic tool of non-deterministic matrices to characterize two important properties of canonical Gentzen-type calculi: invertibility of rules and axiom expansion. We ...