Ioana Leuştean (University of Bucharest) |
Natalia Moangă (University of Bucharest) |
Traian Florin Şerbănuţă (University of Bucharest) |
Building on our previous work on hybrid polyadic modal logic we identify modal logic equivalents for Matching Logic, a logic for program specification and verification. This provides a rigorous way to transfer results between the two approaches, which should benefit both systems. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.303.2 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |