scientific article; zbMATH DE number 830853
From MaRDI portal
Publication:4860805
zbMath0855.68019MaRDI QIDQ4860805
Publication date: 9 January 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of compilers and interpreters (68N20) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (2)
Interprocedural Induction Variable Analysis ⋮ A Modular Static Analysis Approach to Affine Loop Invariants Detection
This page was built for publication:
