Rewriting logic is a simple computational logic that can naturally express both concurrent
computation and logical deduction with great generality. This paper provides a gentle …

The theory and applications of rewriting logic have been vigorously developed by
researchers all over the world during the past eleven years. The attached bibliography …

Recent program synthesis techniques help users customize CAD models (eg, for 3D
printing) by decompiling low-level triangle meshes to Constructive Solid Geometry (CSG) …

Purely functional, embedded array programs are a good match for SIMD hardware, such as
GPUs. However, the naive compilation of such programs quickly leads to both code …

The ASF+ SDF Meta-Environment is an interactive language development environment
whose main application areas are definition and implementation of domain-specific …

Many processes can be seen as transformations of tree-like data structures. In compiler
construction, for example, we continuously manipulate trees and perform tree …

ELAN implements computational systems, a concept that combines two first class entities:
rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or to …

This paper presents general syntactic conditions ensuring the strong normalisation and the
logical consistency of the Calculus of Algebraic Constructions, an extension of the Calculus …

Recently rule based languages focussed on the use of rewriting as a modeling tool which
results in making specifications executable. To extend the modeling capabilities of rule …

We introduce a novel representation for associative-commutative (AC) terms which, for
certain important classes of rewrite rules, allows both the AC matching and the AC …