A mini program code (also known as sunflower code) comes with WeChat APPs. With the popularization of APPs, codes have become more and widely used. As a new carrier, study information hiding technology based on is great significance for expansion covert communication carriers can also deal security problems in advance. At present, to best our knowledge, there no steganographic research codes. I...

We propose an operationally-based framework for deductive proofs of program equivalence. It is based on encoding the language semantics as logically constrained term rewriting systems (LCTRSs) and two programs terms. As a novelty our method, we show that it enables relational reasoning about in various settings, which are encoded operational semantics. For example, how method can be used to pro...

The Omega Project, led by Bill Pugh of the University of Maryland at College Park, explored advanced techniques for analysis and transformation of dense numeric codes. This project was one of the first to use affine constraints on integer variables for static program optimization. In addition to numerous articles, the Omega Project released source code for many of their algorithms. Most of thei...