Pattern-based Rewriting through Abstraction

9 years 11 months ago

Download www.miso.es

based Rewriting through Abstraction Paolo Bottoni1, Esther Guerra2, Juan de Lara2 1 Computer Science Department, “Sapienza” Universit`a di Roma (Italy) 2 Computer Science Department, Universidad Aut´onoma de Madrid (Spain)

Paolo Bottoni, Esther Guerra, Juan de Lara

Real-time Traffic

FUIN 2016 |

claim paper

Related Content

» Modularity of Confluence

» PatternBased Evolution of Software Architectures

» A Complete Narrowing Calculus for HigherOrder Functional Logic Programming

» The Rewriting Calculus as a Semantics of ELAN

» State Space Reduction of Rewrite Theories Using Invisible Transitions

» Security Policy Enforcement Through Refinement Process

» Specification and Verification of Web Applications in Rewriting Logic

» DiTo A Distribution Tool Based on Graph Rewriting

» A Compiler for Rewrite Programs in AssociativeCommutative Theories

» Declarative Debugging of Missing Answers for Maude

Post Info
More Details (n/a)

Added	03 Apr 2016
Updated	03 Apr 2016
Type	Journal
Year	2016
Where	FUIN
Authors	Paolo Bottoni, Esther Guerra, Juan de Lara

Comments (0)

Sciweavers

Pattern-based Rewriting through Abstraction

FUIN 2016 |

Explore & Download

Productivity Tools

Sciweavers