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

Article

Abstract: Partial evaluation is a powerful and general program optimization technique with many successful app

Palabras claves:

Autores:

Alpuente M., Angel Cuenca-Ortega, Escobar S., Meseguer J.

Fuentes:

google

scopus