文章基本信息

标题：Towards Static Performance Guarantees for Programs with Run-Time Checks
本地全文：下载
作者：Maximiliano Klemen ; Nataliia Stulova ; Pedro Lopez-Garcia 等
期刊名称：OASIcs : OpenAccess Series in Informatics
电子版ISSN：2190-6807
出版年度：2018
卷号：64
页码：1-2
DOI：10.4230/OASIcs.ICLP.2018.10
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：This document is an extended abstract of the Technical Report CLIP-1/2018.0.
关键词：Run-time Checks; Assertions; Abstract Interpretation; Resource Usage Analysis