McErlang

MaRDI QIDQ21695swMATHFDO

Official website http://babel.ls.fi.upm.es/~fred/McErlang/

Cited in

(6)

• Towards Erlang verification by term rewriting
• Declarative debugging of concurrent Erlang programs
• Erlang
• HaRe
• evt
• Equational abstractions for reducing the state space of rewrite theories

This page was built for software: McErlang