Programming and symbolic computation in Maude-Reference-Cited by-同舟云学术

Programming and symbolic computation in Maude

Author:

Durán Francisco,Eker Steven,Escobar Santiago,Martí-Oliet Narciso,Meseguer José,Rubio Rubén,Talcott Carolyn

Funder

Ministerio de Economía y Competitividad

Generalitat Valenciana

Air Force Office of Scientific Research

U.S. Naval Research Laboratory

Office of Naval Research

Ministerio de Ciencia, Innovación y Universidades

Publisher

Elsevier BV

Subject

Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic

Reference134 articles.

1. PMaude: rewrite-based specification language for probabilistic object systems;Agha,2006

2. ACUOS2: a high-performance system for modular ACU generalization with subtyping and inheritance;Alpuente,2019

3. Partial evaluation of order-sorted equational programs modulo axioms;Alpuente,2017

4. Homeomorphic embedding modulo combinations of associativity and commutativity axioms;Alpuente,2019

5. A partial evaluation framework for order-sorted equational programs modulo axioms;Alpuente;J. Log. Algebraic Methods Program.,2020

Cited by 57 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Programming Open Distributed Systems in Maude;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09

2. Detecção de conflitos diretos em redes IoT utilizando o Maude;Anais do V Workshop Brasileiro de Lógica (WBL 2024);2024-07-21