Term hiding and its impact on run-time check simplification

Bibliographic Details
Authors:	Stulova, Nataliia, Morales Caballero, José Francisco, Hermenegildo, Manuel V.\|\|\|0000-0002-7583-323X
Format:	report
Publication Date:	2017
Country:	España
Institution:	Universidad Politécnica de Madrid
Repository:	Archivo Digital UPM
OAI Identifier:	oai:oa.upm.es:53070
Online Access:	https://oa.upm.es/53070/
Access Level:	Open access
Keyword:	Module Systems Implementation Run-time Checking Assertionbased Debugging and Validation Static Analysis

Description
Description not available.