https://maude.cs.illinois.edu/w/index.php?title=The_Maude_System:About&feed=atom&action=history
The Maude System:About - Revision history
2024-03-29T13:23:19Z
Revision history for this page on the wiki
MediaWiki 1.23.1
https://maude.cs.illinois.edu/w/index.php?title=The_Maude_System:About&diff=208&oldid=prev
Malaga at 11:38, 24 October 2019
2019-10-24T11:38:29Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 11:38, 24 October 2019</td>
</tr><tr><td colspan="2" class="diff-lineno">Line 3:</td>
<td colspan="2" class="diff-lineno">Line 3:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>The system was originally developed at SRI International, CA, USA. The current components of the Maude team are:</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>The system was originally developed at SRI International, CA, USA. The current components of the Maude team are:</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Francisco Durán (University of Málaga, Spain)</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* </ins>Francisco Durán (University of Málaga, Spain)</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Steven Eker (SRI International, CA, USA)</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* </ins>Steven Eker (SRI International, CA, USA)</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Santiago Escobar (Universitat Politècnica de València, Spain)</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* </ins>Santiago Escobar (Universitat Politècnica de València, Spain)</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Patrick Lincoln (SRI International, CA, USA)</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* </ins>Patrick Lincoln (SRI International, CA, USA)</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Narciso Martí-Oliet (Universidad Complutense de Madrid, Spain)</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* </ins>Narciso Martí-Oliet (Universidad Complutense de Madrid, Spain)</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>José Meseguer (University of Illinois at Urbana-Champaign, IL, USA)</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* </ins>José Meseguer (University of Illinois at Urbana-Champaign, IL, USA)</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Carolyn Talcott (SRI International, CA, USA)</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* </ins>Carolyn Talcott (SRI International, CA, USA)</div></td></tr>
</table>
Malaga
https://maude.cs.illinois.edu/w/index.php?title=The_Maude_System:About&diff=207&oldid=prev
Malaga: Created page with "Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. The..."
2019-10-24T11:37:57Z
<p>Created page with "Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. The..."</p>
<p><b>New page</b></p><div>Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. <br />
<br />
The system was originally developed at SRI International, CA, USA. The current components of the Maude team are:<br />
<br />
Francisco Durán (University of Málaga, Spain)<br />
Steven Eker (SRI International, CA, USA)<br />
Santiago Escobar (Universitat Politècnica de València, Spain)<br />
Patrick Lincoln (SRI International, CA, USA)<br />
Narciso Martí-Oliet (Universidad Complutense de Madrid, Spain)<br />
José Meseguer (University of Illinois at Urbana-Champaign, IL, USA)<br />
Carolyn Talcott (SRI International, CA, USA)</div>
Malaga