Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo. VeriFly: On-the-fly Assertion Checking via Incrementality. TPLP, 21(6):768-784, 2021. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Refinement Type Checking via Assertion CheckingRyosuke Sato, Kazuyuki Asada, Naoki Kobayashi 0001. jip, 23(6):827-834, 2015. [doi] Reducing the overhead of assertion run-time checks via static analysisNataliia Stulova, José F. Morales, Manuel V. Hermenegildo. ppdp 2016: 90-103 [doi]
The following publications are possibly variants of this publication: