Sciweavers

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

149

Voted

PPDP
2004
Springer

104views Programming Languages» more PPDP 2004»

iRho: an imperative rewriting calculus

16 years 1 days 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)