Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Article(2)
A partial evaluation framework for order-sorted equational programs modulo axioms
ArticleAbstract: Partial evaluation is a powerful and general program optimization technique with many successful appPalabras claves:Autores:Alpuente M., Angel Cuenca-Ortega, Escobar S., Meseguer J.Fuentes:googlescopusOrder-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms
ArticleAbstract: The Homeomorphic Embedding relation has been amply used for defining termination criteria of symboliPalabras claves:homeomorphic embedding, Maude, Rewriting LogicAutores:Alpuente M., Angel Cuenca-Ortega, Escobar S., Meseguer J.Fuentes:googlescopus