Search Sciweavers | Sciweavers

498 search results - page 15 / 100

» Term Rewriting

135

click to vote

RTA
2004
Springer

108views Theoretical Computer Science» more RTA 2004»

A Verification Technique Using Term Rewriting Systems and Abstract Interpretation

16 years 1 days ago

Download css.jaist.ac.jp

Toshinori Takai

claim paper

Read More »

132

click to vote

CSL
1999
Springer

82views Automated Reasoning» more CSL 1999»

Term Rewriting

15 years 11 months ago

Download www.cs.uu.nl

Aart Middeldorp

claim paper

Read More »

151

Voted

IFIP
1999
Springer

116views Programming Languages» more IFIP 1999»

Hardware Synthesis from Term Rewriting Systems

15 years 11 months ago

Download www.ece.cmu.edu

James C. Hoe, Arvind

claim paper

Read More »

184

click to vote

PDP
1996
IEEE

177views Distributed And Parallel Com...» more PDP 1996»

Concurrent Object-Oriented Programming Techniques in a Term Graph Rewriting Framework

15 years 10 months ago

Download www.cs.ucy.ac.cy

George A. Papadopoulos

claim paper

Read More »

154

click to vote

MFCS
1997
Springer

113views Theoretical Computer Science» more MFCS 1997»

Simplification Orders for Term Graph Rewriting

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers