Partial evaluation of order-sorted equational programs modulo axioms

DOI10.1007/978-3-319-63139-4_1zbMath1485.68050arXiv1608.03424OpenAlexW2516251718MaRDI QIDQ2409722

María Alpuente, Santiago Escobar, José Meseguer, A. Cuenca-Ortega

Publication date: 13 October 2017

Full work available at URL: https://arxiv.org/abs/1608.03424

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

E-Unification based on Generalized Embedding ⋮ Safety enforcement via programmable strategies in Maude ⋮ Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system ⋮ Programming and symbolic computation in Maude ⋮ A partial evaluation framework for order-sorted equational programs modulo axioms ⋮ Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms*

Uses Software

• Maude

This page was built for publication: Partial evaluation of order-sorted equational programs modulo axioms