49 search results - page 1 / 10 » Denotational semantics for thread algebra |
JLP
2008
13 years 10 months ago
2008
CORR
2006
Springer
13 years 11 months ago
2006
Springer
Denotational semantics can be based on algebras with additional structure (order, metric, etc.) which makes it possible to interpret recursive specifications. It was the idea of El...
LOPSTR
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. It has often been observed that a point-free style of programvides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semant...
ENTCS
2007
13 years 10 months ago
2007
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previou...
ENTCS
1998
13 years 10 months ago
1998