scientific article
From MaRDI portal
Publication:3949950
zbMath0488.68016MaRDI QIDQ3949950
Robert Giegerich, Ulrich Möncke
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Precise interprocedural dependence analysis of parallel programs, Translation certification for smart contracts, Faster Algorithms for Weighted Recursive State Machines, Precise interprocedural dataflow analysis with applications to constant propagation, Property-oriented expansion