×

Found 7 Documents (Results 1–7)

Partial order reduction for rewriting semantics of programming languages. (English) Zbl 1279.68207

Denker, Grit (ed.) et al., Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 4, 61-78 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems. (English) Zbl 0962.68109

Futatsugi, Kokichi, The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18-20, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 36, 22 p., electronic only (2000).
MSC:  68Q60 68Q42
PDFBibTeX XMLCite

Towards Maude 2. 0. (English) Zbl 0962.68108

Futatsugi, Kokichi, The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18-20, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 36, 22 p., electronic only (2000).
MSC:  68Q60 68Q42
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software