A partial evaluation framework for order-sorted equational programs modulo axioms

From MaRDI portal
Publication:2291823

DOI10.1016/j.jlamp.2019.100501zbMath1494.68048OpenAlexW2986833796WikidataQ126847592 ScholiaQ126847592MaRDI QIDQ2291823

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

Publication date: 31 January 2020

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2019.100501




Related Items (9)


Uses Software


Cites Work




This page was built for publication: A partial evaluation framework for order-sorted equational programs modulo axioms