What are the main differences between Maude and Lambdapi? #1130
Answered
by
fblanqui
guialvares
asked this question in
Q&A
-
|
I was prototyping semantics of Solidity programming language in Maude and I have read in this master course that both language have general form of pattern-matching. So, I am curious to know about good features of both. |
Beta Was this translation helpful? Give feedback.
Answered by
fblanqui
Aug 25, 2024
Replies: 1 comment
-
|
Hi. You can find a precise description of Lambdapi pattern matching algorithm implemented by Gabriel Hondet in http://dx.doi.org/10.4230/LIPIcs.FSCD.2020.35 . In contrast to Maude, it does not implement matching modulo AC. On the other hand, it allows non-linear higher-order pattern-matching. |
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
guialvares
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hi. You can find a precise description of Lambdapi pattern matching algorithm implemented by Gabriel Hondet in http://dx.doi.org/10.4230/LIPIcs.FSCD.2020.35 . In contrast to Maude, it does not implement matching modulo AC. On the other hand, it allows non-linear higher-order pattern-matching.