3454 search results - page 88 / 691 » Modern computer algebra |
114
Voted
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
149
Voted
FOSSACS
2006
Springer
15 years 9 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...
153
click to vote
LICS
2008
IEEE
16 years 16 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...
148
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...