Sciweavers

10871 search results - page 366 / 2175

» A stable programming language

116

IFIP
2004
Springer

92views Programming Languages» more IFIP 2004»

Behavioural Theory for Mobile Ambients

16 years 25 days ago

Behavioural Theory for Mobile Ambients

Download profs.sci.univr.it

Massimo Merro, Francesco Zappa Nardelli

claim paper

Read More »

133

Voted

PPDP
2004
Springer

82views Programming Languages» more PPDP 2004»

Formalization and abstract implementation of rewriting with nested rules

16 years 24 days ago

Formalization and abstract implementation of rewriting with nested rules

Download web.cecs.pdx.edu

Sergio Antoy, Stephen Johnson

claim paper

Read More »

161

Voted

PPDP
2004
Springer

104views Programming Languages» more PPDP 2004»

iRho: an imperative rewriting calculus

16 years 24 days ago

iRho: an imperative rewriting calculus

Download rho.loria.fr

Luigi Liquori, Bernard P. Serpette

claim paper

Read More »

180

PPDP
2004
Springer

97views Programming Languages» more PPDP 2004»

New completeness results for lazy conditional narrowing

16 years 24 days ago

New completeness results for lazy conditional narrowing

Download www.score.is.tsukuba.ac.jp

Mircea Marin, Aart Middeldorp

claim paper

Read More »

147

SIGADA
2004
Springer

147views Programming Languages» more SIGADA 2004»

Cheddar: a flexible real time scheduling framework

16 years 24 days ago

Cheddar: a flexible real time scheduling framework

Download www.sigada.org

Frank Singhoff, Jérôme Legrand, Laure...

claim paper

Read More »

« Prev « First page 366 / 2175 Last » Next »