3454 search results - page 88 / 691 » Modern computer algebra |
153
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
158
click to vote
LICS
2008
IEEE
16 years 21 days ago
2008
IEEE
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
154
click to vote
TCS
2010
15 years 4 months ago
2010
We compare how computational effects are modelled in Classical Domain Theory and Topological Domain Theory. Both of these theories provide powerful toolkits for denotational sema...