Search Sciweavers | Sciweavers

4767 search results - page 8 / 954

» Structures for Abstract Rewriting

103

click to vote

PPDP
2004
Springer

82views Programming Languages» more PPDP 2004»

Formalization and abstract implementation of rewriting with nested rules

15 years 10 months ago

Download web.cecs.pdx.edu

Sergio Antoy, Stephen Johnson

claim paper

Read More »

105

Voted

RTA
2004
Springer

108views Theoretical Computer Science» more RTA 2004»

A Verification Technique Using Term Rewriting Systems and Abstract Interpretation

15 years 10 months ago

Download css.jaist.ac.jp

Toshinori Takai

claim paper

Read More »

105

click to vote

SAS
1993
Springer

109views Formal Methods» more SAS 1993»

Abstract Rewriting

15 years 9 months ago

Download afp.sourceforge.net

Didier Bert, Rachid Echahed, Bjarte M. Østv...

claim paper

Read More »

109

click to vote

CORR
2010
Springer

134views Education» more CORR 2010»

Abstract Certification of Global Non-Interference in Rewriting Logic

15 years 5 months ago

Download users.dsic.upv.es

Mauricio Alba-Castro, María Alpuente, Santi...

claim paper

Read More »

125

click to vote

ENTCS
2007

95views more ENTCS 2007»

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers