Search Sciweavers | Sciweavers

13306 search results - page 72 / 2662

» Theoretical Computer Science

Voted

ICTCS
2007
Springer

124views Theoretical Computer Science» more ICTCS 2007»

A formal framework for compositional compilation

15 years 10 months ago

Download ftp.disi.unige.it

Davide Ancona, Elena Zucca

claim paper

Read More »

100

click to vote

RTA
2007
Springer

131views Theoretical Computer Science» more RTA 2007»

Bottom-Up Rewriting Is Inverse Recognizability Preserving

15 years 10 months ago

Download dept-info.labri.fr

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

claim paper

Read More »

102

click to vote

RTA
2007
Springer

102views Theoretical Computer Science» more RTA 2007»

On the Completeness of Context-Sensitive Order-Sorted Specifications

15 years 10 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

15 years 10 months ago

Download fsl.cs.uiuc.edu

Mark Hills, Grigore Rosu

claim paper

Read More »

112

click to vote

SOFSEM
2007
Springer

93views Theoretical Computer Science» more SOFSEM 2007»

Model-Checking Large Finite-State Systems and Beyond

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers