Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Pinyin i2Cantonese i2Cangjie i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

3

PPDP
2004
Springer

favoriteEmaildiscussreport

104views Programming Languages» more PPDP 2004»

iRho: an imperative rewriting calculus

12 years 11 months ago

iRho: an imperative rewriting calculus

Download rho.loria.fr

Luigi Liquori, Bernard P. Serpette

Real-time Traffic

PPDP 2004 |

claim paper

Related Content

» Imperative LF MetaProgramming

» Termination in Impure Concurrent Languages

» Plan in Maude Specifying an Active Network Programming Language

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	PPDP
Authors	Luigi Liquori, Bernard P. Serpette

Comments (0)