scientific article; zbMATH DE number 1231536

MaRDI QIDQ4222852zbMATH OpenFDO

Authors Patrick Viry

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume4.htm#viry

zbMATH Keywords

ELANrewriting interpreter

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27)

Recommendations

• ELAN from a rewriting logic point of view
• Publication:4939289
• The rewriting calculus. II
• REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS

Cited in

(9)

• Executable structural operational semantics in Maude
• CINNI -- a generic calculus of explicit substitutions and its application to -, - and -calculi
• An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0
• scientific article; zbMATH DE number 1231654 (Why is no real title available?)
• scientific article; zbMATH DE number 1231665 (Why is no real title available?)
• scientific article; zbMATH DE number 1860743 (Why is no real title available?)
• Rewriting logic as a semantic framework for concurrency: a progress report
• Session-based concurrency in Maude: executable semantics and type checking
• Executable Semantics and Type Checking for Session-Based Concurrency in Maude

Describes a project that uses

Uses Software

• ELAN

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222852)