Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms.

Mara Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Jos Meseguer

Browse the full LOPSTR paper archive.