Search Sciweavers | Sciweavers

10447 search results - page 109 / 2090

» The Philosophy of Computer Science

click to vote

RTA
2007
Springer

131views Theoretical Computer Science» more RTA 2007»

Bottom-Up Rewriting Is Inverse Recognizability Preserving

14 years 3 months ago

Download dept-info.labri.fr

Irène Durand, Géraud Sénizerg...

claim paper

Read More »

click to vote

RTA
2007
Springer

102views Theoretical Computer Science» more RTA 2007»

On the Completeness of Context-Sensitive Order-Sorted Specifications

14 years 3 months ago

Download whoisjoe.info

Joe Hendrix, José Meseguer

claim paper

Read More »

click to vote

RTA
2007
Springer

81views Theoretical Computer Science» more RTA 2007»

KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis

14 years 3 months ago

Download fsl.cs.uiuc.edu

Mark Hills, Grigore Rosu

claim paper

Read More »

click to vote

RTA
2007
Springer

97views Theoretical Computer Science» more RTA 2007»

Formal Verification of an Optimizing Compiler

14 years 3 months ago

Download pauillac.inria.fr

Xavier Leroy

claim paper

Read More »

click to vote

RTA
2007
Springer

102views Theoretical Computer Science» more RTA 2007»

Random Descent

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers