Crossmark

Exploiting Term Hiding to Reduce Run-Time Checking Overhead

Crossref DOI link: https://doi.org/10.1007/978-3-319-73305-0_7

Published Online: 2017-12-22

Published Print: 2018

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Stulova, Nataliia https://orcid.org/0000-0002-6804-2253
Morales, José F. https://orcid.org/0000-0001-9782-8135
Hermenegildo, Manuel V. https://orcid.org/0000-0002-7583-323X
License Information

License valid from 2017-12-22