Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
Fundamenta Informaticae(1)
Journal of Logical and Algebraic Methods in Programming(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Theory and Practice of Logic Programming(1)
Área temáticas
Ciencias de la computación(2)
Funcionamiento de bibliotecas y archivos(2)
Matemáticas(1)
Métodos informáticos especiales(1)
Principios generales de matemáticas(1)
Área de conocimiento
Ciencias de la computación(2)
Ingeniería de software(1)
Optimización matemática(1)
Software(1)
Origen
scopus(4)
$${\textsf {ACUOS}}^\mathbf {2}$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance
Conference ObjectAbstract: Generalization in order-sorted theories with any combination of associativity (A), commutativity (C)Palabras claves:Autores:Alpuente M., Angel Cuenca-Ortega, Ballis D., Escobar S., Meseguer J.Fuentes:googlescopusA 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: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