Matching Logic Based on Ownership Transfer

ShangBei Wang, Yintong Wang. Matching Logic Based on Ownership Transfer. International Journal of Software Engineering and Knowledge Engineering, 33(1):55-84, January 2023. [doi]

@article{WangW23-21,
  title = {Matching Logic Based on Ownership Transfer},
  author = {ShangBei Wang and Yintong Wang},
  year = {2023},
  month = {January},
  doi = {10.1142/S0218194022500668},
  url = {https://doi.org/10.1142/S0218194022500668},
  researchr = {https://researchr.org/publication/WangW23-21},
  cites = {0},
  citedby = {0},
  journal = {International Journal of Software Engineering and Knowledge Engineering},
  volume = {33},
  number = {1},
  pages = {55-84},
}