Maude system
id:
maude-system-233-5276162
title:
Maude system
text:
The Maude system is an implementation of rewriting logic. It is similar in its general approach to Joseph Goguen's OBJ3 implementation of equational logic, but based on rewriting logic rather than order-sorted equational logic, and with a heavy emphasis on powerful metaprogramming based on reflection. Maude is free software, and tutorials are available online. It was originally developed at SRI International, but is now developed by a diverse collaboration of researchers.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Maude_system
date created:
date modified:
2023-01-01T15:11:44Z
main entity:
{"identifier":"Q3558930","url":"https://www.wikidata.org/entity/Q3558930"}
image:
fields total:
13
integrity:
13