Matching logic
id:
matching-logic-293-10921787
title:
Matching logic
text:
Matching logic is a formal logic mainly used to reason about the correctness of computer programs. Its operators use pattern matching to operate on the power set of states, rather than the set of states. It was created by Grigore Roșu and is used in the K Framework.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Matching_logic
date created:
date modified:
2024-04-02T13:20:34Z
main entity:
{"identifier":"Q111938168","url":"https://www.wikidata.org/entity/Q111938168"}
image:
fields total:
13
integrity:
13