Capturing constrained constructor patterns in matching logic

Xiaohong Chen; Dorel Lucanu; Grigore Roşu

doi:10.1016/j.jlamp.2022.100810

Capturing constrained constructor patterns in matching logic

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

^*Corresponding author for this work

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

2 Citations (SciVal)

Original language	English
Article number	100810
Journal	Journal of Logical and Algebraic Methods in Programming
Volume	130
DOIs	https://doi.org/10.1016/j.jlamp.2022.100810
Publication status	Published (VoR) - Jan 2023

Funding

The work presented in this paper was supported in part by NSF CNS 16-19275 . This material is based upon work supported by the United States Air Force and DARPA under Contract No. FA8750-18-C-0092 .

Keywords

Constrained constructor patterns
Matching logic
Order-sorted algebras

Access to Document

10.1016/j.jlamp.2022.100810

Cite this

@article{41533c118947493781cf37241ce9c141,

title = "Capturing constrained constructor patterns in matching logic",

keywords = "Constrained constructor patterns, Matching logic, Order-sorted algebras",

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

note = "Funding Information: The work presented in this paper was supported in part by NSF CNS 16-19275 . This material is based upon work supported by the United States Air Force and DARPA under Contract No. FA8750-18-C-0092 . Publisher Copyright: {\textcopyright} 2022 Elsevier Inc.",

year = "2023",

month = jan,

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

language = "English",

volume = "130",

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

issn = "2352-2208",

publisher = "Elsevier",

}

TY - JOUR

T1 - Capturing constrained constructor patterns in matching logic

AU - Chen, Xiaohong

AU - Lucanu, Dorel

AU - Roşu, Grigore

N1 - Funding Information: The work presented in this paper was supported in part by NSF CNS 16-19275 . This material is based upon work supported by the United States Air Force and DARPA under Contract No. FA8750-18-C-0092 . Publisher Copyright: © 2022 Elsevier Inc.

PY - 2023/1

Y1 - 2023/1

KW - Constrained constructor patterns

KW - Matching logic

KW - Order-sorted algebras

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

UR - https://www.scopus.com/inward/citedby.url?scp=85138176043&partnerID=8YFLogxK

U2 - 10.1016/j.jlamp.2022.100810

DO - 10.1016/j.jlamp.2022.100810

M3 - Article

AN - SCOPUS:85138176043

SN - 2352-2208

VL - 130

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

M1 - 100810

ER -

Capturing constrained constructor patterns in matching logic

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this