|

Parent Categories/Forums: None

Edit this Forum

UIUC Maude

This forum is an archive for the mailing list: maude-users@maude.cs.uiuc.edu (mailing list options). Messages posted here will be sent to this mailing list.

Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications.

Child Forums (0): None

To migrate this forum to the new Nabble2 system, please post a request in the Nabble Support forum — Learn more

Post New Message :: Alert me of new posts :: Rating Filter:

« Newest ‹ Newer — Threads 36-70 — Older ›

Thread (130 Threads)

Rating

Replies

Last Message

Maude 2.4 release by Francisco Durán

2

by Steven Eker

Call for Papers: Language Descriptions Tools and Applications 2009 by Jurgen Vinju

0

by Jurgen Vinju

Post-doc positions at Universidad Complutense Madrid by Narciso Marti Oliet

0

by Narciso Marti Oliet

PEPM 2009 - final call for papers by German Vidal

0

by German Vidal

WS-FM 2008 (Sept. 4-5): Call for Participation by Roberto Bruni

0

by Roberto Bruni

[PEPM 2009] Preliminary CFP by German Vidal

0

by German Vidal

Graphical User Interface..... by Michael Hart-4

1

by Steven Eker

A Maude Metamodel by Francisco Durán

0

by Francisco Durán

conditional equations in Maude by Santiago Escobar

1

by Steven Eker

declarative debugging and the strat attribute by Alberto Verdejo

1

by Santiago Escobar

AMAST'08 Call for Participation by Mark Hills

0

by Mark Hills

SecReT 2008 - Reminder by Santiago Escobar

0

by Santiago Escobar

2nd CFP: RuleML-2008 (2008 International RuleML Symposium) by Salvador Lucas

0

by Salvador Lucas

DEADLINE EXTENSION: (WFLP'08) 17th Int'l Workshop on Functional and (Constraint) Logic Programming by Demis Ballis

0

by Demis Ballis

FST&TCS'08 CfP (deadline July 7, 2008) by Salvador Lucas

0

by Salvador Lucas

Fwd: WRS 2008 final CFP (extended deadline) by Salvador Lucas

0

by Salvador Lucas

Fwd: Publicity Pierre Lescanne Day by Salvador Lucas

0

by Salvador Lucas

2nd CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) by Santiago Escobar

0

by Santiago Escobar

Fwd: deadline extension: RULE 2008 by Salvador Lucas

0

by Salvador Lucas

2nd CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) by Santiago Escobar

0

by Santiago Escobar

Fwd: WRS 2008 - 2nd CFP by Salvador Lucas

0

by Salvador Lucas

Call for Papers: International Conference on Software Language Engineering by Steffen Zschaler-3

0

by Steffen Zschaler-3

WS-FM 2008 - First Call for Papers by Roberto Bruni

0

by Roberto Bruni

EXTENSION: (SecReT 2008) 3rd Int'l Workshop on Security and Rewriting Techniques by Santiago Escobar

0

by Santiago Escobar

2nd. CFP: RULE 2008 by Salvador Lucas

0

by Salvador Lucas

1st CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) by Santiago Escobar

0

by Santiago Escobar

1st CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) by Santiago Escobar

0

by Santiago Escobar

Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques (SecReT 2008) by Santiago Escobar

0

by Santiago Escobar

AMAST'08 - New Deadline - March 12 by Rosu, Grigore

0

by Rosu, Grigore

Preliminary CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) by Santiago Escobar

0

by Santiago Escobar

Preliminary CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) by Santiago Escobar

0

by Santiago Escobar

Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques Security (SecReT 2008) by Santiago Escobar

0

by Santiago Escobar

AMAST'08 : Final CFP by Rosu, Grigore

0

by Rosu, Grigore

CFP - Programming Languages and Mechanized Mathematics Systems 2008 by Jacques Carette

0

by Jacques Carette

Declarative debugger for Maude functional modules by Adrián Riesco

0

by Adrián Riesco

Post New Message :: Alert me of new posts ::

« Newest ‹ Newer — Threads 36-70 — Older ›