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

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2020
Source ID
10.1016/j.jlamp.2019.100501

Entities

People

  • A. Cuenca-ortega
  • José Meseguer
  • M. Alpuente
  • S. Escobar

Organizations

  • Generalitat Valenciana
  • Ministry of Science, Innovation and Universities
  • Secretariat of Higher Education, Science, Technology and Innovation
  • United States Naval Research Laboratory