Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms

08/15/2018
by   María Alpuente, et al.
0

The Homeomorphic Embedding relation has been amply used for defining termination criteria of symbolic methods for program analysis, transformation, and verification. However, homeomorphic embedding has never been investigated in the context of order-sorted rewrite theories that support symbolic execution methods modulo equational axioms. This paper generalizes the symbolic homeomorphic embedding relation to order-sorted rewrite theories that may contain various combinations of associativity and/or commutativity axioms for different binary operators. We systematically measure the performance of increasingly efficient formulations of the homeomorphic embedding relation modulo associativity and commutativity axioms. From our experimental results, we conclude that our most efficient version indeed pays off in practice.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

12/19/2021

Symbolic Specialization of Rewriting Logic Theories with Presto

This paper introduces Presto, a symbolic partial evaluator for Maude's r...
07/25/2019

Symbolic Analysis of Maude Theories with Narval

Concurrent functional languages that are endowed with symbolic reasoning...
05/31/2018

Symbolic Computation via Program Transformation

Symbolic computation is an important approach in automated program analy...
01/08/2019

Languages ordered by the subword order

We consider a language together with the subword relation, the cover rel...
10/22/2021

Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification

Unification and antiunification are essential algorithms used by symboli...
01/09/2020

Killing Stubborn Mutants with Symbolic Execution

We introduce SeMu, a Dynamic Symbolic Execution technique that generates...
09/03/2019

Embedding Symbolic Knowledge into Deep Networks

In this work, we aim to leverage prior symbolic knowledge to improve the...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.