Sciweavers

10622 search results - page 352 / 2125

» Python Programming Language

98

PPDP
2004
Springer

82views Programming Languages» more PPDP 2004»

Formalization and abstract implementation of rewriting with nested rules

15 years 9 months ago

Formalization and abstract implementation of rewriting with nested rules

Download web.cecs.pdx.edu

Sergio Antoy, Stephen Johnson

claim paper

Read More »

126

PPDP
2004
Springer

104views Programming Languages» more PPDP 2004»

iRho: an imperative rewriting calculus

15 years 9 months ago

iRho: an imperative rewriting calculus

Download rho.loria.fr

Luigi Liquori, Bernard P. Serpette

claim paper

Read More »

133

PPDP
2004
Springer

97views Programming Languages» more PPDP 2004»

New completeness results for lazy conditional narrowing

15 years 9 months ago

New completeness results for lazy conditional narrowing

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

Mircea Marin, Aart Middeldorp

claim paper

Read More »

108

SIGADA
2004
Springer

147views Programming Languages» more SIGADA 2004»

Cheddar: a flexible real time scheduling framework

15 years 9 months ago

Cheddar: a flexible real time scheduling framework

Download www.sigada.org

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

claim paper

Read More »

93

CC
2003
Springer

101views System Software» more CC 2003»

Integrating Generations with Advanced Reference Counting Garbage Collectors

15 years 9 months ago

Integrating Generations with Advanced Reference Counting Garbage Collectors

Download www.cs.technion.ac.il

Hezi Azatchi, Erez Petrank

claim paper

Read More »

« Prev « First page 352 / 2125 Last » Next »