Mostrando 2 resultados de: 2
Filtros aplicados
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:googlescopusInspecting Maude variants with GLINTS
Conference ObjectAbstract: This paper introduces GLINTS, a graphical tool for exploring variant narrowing computations in MaudePalabras claves:embedding, Finite Variant Property, Maude, Narrowing, Rewriting Logic, VariantAutores:Alpuente M., Angel Cuenca-Ortega, Escobar S., Sapiña J.Fuentes:googlescopus