520 search results - page 65 / 104 » An Algebraic Semantics for MOF |
139
click to vote
SPLC
2008
15 years 3 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
CORR
2010
Springer
15 years 2 months ago
2010
Springer
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
188
click to vote
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
There are more spots than immediately obvious in XQuery expressions where order is immaterial for evaluation-this affects most notably, but not exclusively, expressions in the sco...
102
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
We investigate the (in)equational theory of impossible futures semantics over the process algebra BCCSP. We prove that no finite, sound axiomatization for BCCSP modulo impossible...
143
Voted
FOSSACS
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...