Search Sciweavers | Sciweavers

18 search results - page 1 / 4

» rta 2007

click to vote

RTA
2007
Springer

97views Theoretical Computer Science» more RTA 2007»

Formal Verification of an Optimizing Compiler

13 years 11 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

13 years 11 months ago

Download www.phil.uu.nl

Vincent van Oostrom

claim paper

Read More »

click to vote

RTA
2007
Springer

131views Theoretical Computer Science» more RTA 2007»

Bottom-Up Rewriting Is Inverse Recognizability Preserving

13 years 11 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

13 years 11 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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers