Matching logic explained

Xiaohong Chen; Dorel Lucanu; Grigore Roşu

doi:10.1016/j.jlamp.2021.100638

Matching logic explained

Xiaohong Chen^*
, Dorel Lucanu
, Grigore Roşu

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

19 Citations (SciVal)

Original language	English
Article number	100638
Journal	Journal of Logical and Algebraic Methods in Programming
Volume	120
DOIs	https://doi.org/10.1016/j.jlamp.2021.100638
Publication status	Published (VoR) - Apr 2021

Keywords

(co)inductive data types
(co)monad specification
Dependent types
Matching logic
Program logics
Specification of transition systems

Access to Document

10.1016/j.jlamp.2021.100638

Cite this

@article{44f20c7b91ff4487824e029744797dc6,

title = "Matching logic explained",

keywords = "(co)inductive data types, (co)monad specification, Dependent types, Matching logic, Program logics, Specification of transition systems",

author = "Xiaohong Chen and Dorel Lucanu and Grigore Ro{\c s}u",

note = "Publisher Copyright: {\textcopyright} 2021 Elsevier Inc.",

year = "2021",

month = apr,

doi = "10.1016/j.jlamp.2021.100638",

language = "English",

volume = "120",

journal = "Journal of Logical and Algebraic Methods in Programming",

issn = "2352-2208",

publisher = "Elsevier",

}

TY - JOUR

T1 - Matching logic explained

AU - Chen, Xiaohong

AU - Lucanu, Dorel

AU - Roşu, Grigore

PY - 2021/4

Y1 - 2021/4

KW - (co)inductive data types

KW - (co)monad specification

KW - Dependent types

KW - Matching logic

KW - Program logics

KW - Specification of transition systems

UR - https://www.scopus.com/pages/publications/85099502520

UR - https://www.scopus.com/pages/publications/85099502520#tab=citedBy

U2 - 10.1016/j.jlamp.2021.100638

DO - 10.1016/j.jlamp.2021.100638

M3 - Article

AN - SCOPUS:85099502520

SN - 2352-2208

VL - 120

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

M1 - 100638

ER -

Matching logic explained

Keywords

Access to Document

Other files and links

Fingerprint

Cite this