We present a new static analysis technique based on Array SSA form [6]. Compared to traditional SSA form, the key enhancement in Array SSA form is that it deals with arrays at the element level instead of as monolithic objects. In addition, Array SSA form improves the φ function used for merging scalar or array variables in traditional SSA form. The computation of a φ function in traditional SS...

This letter presents a new transmission line method for measuring the complex permittivity of dielectric materials using propagation constant measurements. In contrast to previous methods, a network analyzer calibration is unnecessary since calibrated scattering parameters are not required. We use measurements in X-band waveguide to show that this technique compares well with the transmission/r...

Since decades, basic-block (BB) graphs are the state-of-the-art means for representing programs in advanced industrial compiler environments. The usual justi cation for introducing the intermediate BB-structures in the program representation is performance: analyses on BB-graphs are generally assumed to outperform their counterparts on single-instruction (SI ) graphs, which, undoubtedly, are co...

Data-flow optimizations are usually implemented on low-level intermediate representations. This is not appropriate for source-to-source optimizations, which reconstruct a source level program after transformation. In this paper we show how constant propagation, a well known data-flow optimization problem, can be implemented on abstract syntax trees in Stratego, a rewriting system extended with ...

A linear model for attenuation of waves is presented, with Q, or the portion of energy lost during each cycle or wavelength, exactly independent of frequency. The wave propagation is completely specified by two parameters, e.g., Q and Co, a phase velocity at an arbitrary reference frequency w0. A simple exact derivation leads to an expression for the phase velocity c as a function of frequency:...

Generalized Constant Propagation (GCP) statically estimates the ranges of variables throughout a program. GCP is a top-down compositional compiler analysis in the style of abstract intepretation. In this paper we present an implementation of both intraprocedural and interprocedural GCP within the context of the C language. We compare the accuracy and utility of GCP information for several versi...

This paper investigates a new propagation constant measuring technique in which an inductive coupler allows only the selected part of the cable to be measured. The propagation constants are extracted from frequency and time domain measurements. The extracted propagation constants from measurements with an inductive coupler are compared with the reference propagation constant obtained from direc...