Capturing constrained constructor patterns in matching logic

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2023
Source ID
10.1016/j.jlamp.2022.100810

Entities

People

  • Dorel Lucanu
  • Grigore Rosu
  • Xiaohong Chen

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • United States Air Force