Login / Signup

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

María AlpuenteAngel Cuenca-OrtegaSantiago EscobarJosé Meseguer
Published in: J. Log. Algebraic Methods Program. (2020)
Keyphrases