Sciweavers

10585 search results - page 354 / 2117

» The Orc Programming Language

128

IFIP
2004
Springer

110views Programming Languages» more IFIP 2004»

A Calculus with Lazy Module Operators

16 years 3 days ago

A Calculus with Lazy Module Operators

Download www.macs.hw.ac.uk

Davide Ancona, Sonia Fagorzi, Elena Zucca

claim paper

Read More »

129

IFIP
2004
Springer

96views Programming Languages» more IFIP 2004»

Highly Undecidable Questions for Process Algebras

16 years 3 days ago

Highly Undecidable Questions for Process Algebras

Download www.brics.dk

Petr Jancar, Jirí Srba

claim paper

Read More »

109

IFIP
2004
Springer

92views Programming Languages» more IFIP 2004»

Behavioural Theory for Mobile Ambients

16 years 3 days ago

Behavioural Theory for Mobile Ambients

Download profs.sci.univr.it

Massimo Merro, Francesco Zappa Nardelli

claim paper

Read More »

121

PPDP
2004
Springer

82views Programming Languages» more PPDP 2004»

Formalization and abstract implementation of rewriting with nested rules

16 years 3 days ago

Formalization and abstract implementation of rewriting with nested rules

Download web.cecs.pdx.edu

Sergio Antoy, Stephen Johnson

claim paper

Read More »

150

Voted

PPDP
2004
Springer

104views Programming Languages» more PPDP 2004»

iRho: an imperative rewriting calculus

16 years 3 days ago

iRho: an imperative rewriting calculus

Download rho.loria.fr

Luigi Liquori, Bernard P. Serpette

claim paper

Read More »

« Prev « First page 354 / 2117 Last » Next »