3238 search results - page 371 / 648 » On the Computational Interpretation of Negation |
141
Voted
ASM
2005
ASM
16 years 5 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
154
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
Tuple spaces and the associated Linda language are a popular model for distributed computation, and Law-Governed Linda (LGL) is a variant allowing processes to have differential ...
183
click to vote
CIKM
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, we present a “value mapping” algorithm that does not rely on syntactic similarity or semantic interpretation of the values. The algorithm first constructs a st...
158
click to vote
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
132
click to vote
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...