A new invariant rule for the analysis of loops with non-standard control flows

被引：0

作者：

Steinhöfel, Dominic ^{[1
]}

Wasser, Nathan ^{[1
]}

机构：

[1] Department of Computer Science, TU Darmstadt, Darmstadt, Germany

来源：

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2017年 / 10510 LNCS卷

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Java programming language - Computer software

引用

页码：279 / 294