805 search results - page 48 / 161 » On the Semantics of Conditional Commitment |
GPCE
2008
Springer
15 years 28 days ago
2008
Springer
The influential pure embedding methodology of embedding domainspecific languages (DSLs) as libraries into a general-purpose host language forces the DSL designer to commit to a ...
ICLP
1995
Springer
15 years 3 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
112
click to vote
CRYPTO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. A significant effort has recently been made to rigorously relate the formal treatment of cryptography with the computational one. A first substantial step in this dire...
SYNTHESE
2010
14 years 10 months ago
2010
I examine the radical contextualists’ two main arguments for the semantic underdeterminacy thesis, according to which all, or almost all, English sentences lack context-independ...
100
click to vote
SEFM
2006
IEEE
15 years 5 months ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...