Stack-based languages, such as PostScript, present a major challenge to static analysis techniques because of their almost unlimited polymorphism. We introduce a regular expression notation that is used to represent allowed combinations of types on the stack at different points in a PostScript program. Our abstract interpretation algorithm may then be used to perform static type analysis. The a...

In the title compound, C23H21N3Se, the C-bound phenyl ring is almost coplanar with the central five-membered ring [dihedral angle = 2.84 (10)°], but the N-bound benzene ring is inclined [dihedral angle = 47.52 (10)°]. The dihedral angle between the Se-bound rings is 69.24 (9)°. An intra-molecular Se⋯N inter-action of 3.0248 (15) Å is noted. In the crystal, C-H⋯π inter-actions connect mol-ecules...

In this paper, we present a method for computing angle-domain common-image gathers from wave-equation depth-migrated seismic images. We show that the method amounts to a radial-trace transform in the Fourier domain and that it is equivalent to a slant stack in the space domain. We obtain the angle-gathers using a stretch technique that enables us to impose smoothness through regularization. Sev...

We demonstrate two high-speed electro-optic devices: an integrated lens/scanner and a variable radius collimating lens stack fabricated on a single crystal of Z-cut LiTaO3. The lens and scanner components consist of lithographically defmed domain-inverted regions extending through the thickness of the crystal. A lens power of 0.233 cm'kV', a deflection angle of 12.68 mrad kV', and a scan rate o...

Interpretation Abstract Interpretation examples partial evaluation and assert Show low overhead of tabling in meta interpreter due to how tables are implemented as triesInterpretation examples partial evaluation and assert Show low overhead of tabling in meta interpreter due to how tables are implemented as tries CHAPTER META PROGRAMMING AI of a Simple Nested Procedural Language see warren xsb ...

The absolute, average, and differential phase shifts that p- and s-polarized light experience in total internal reflection (TIR) at the planar interface between two transparent media are considered as functions of the angle of incidence phi. Special angles at which quarter-wave phase shifts are achieved are determined as functions of the relative refractive index N. When the average phase shift...

In November of 2003 a rollout test was performed to gain a better understanding of the dynamic environment for the Space Shuttle during transportation from the Vehicle Assembly Building to the launch pad. This was part of a study evaluating the methodology for including the rollout dynamic loads in the Space Shuttle fatigue life predictions. The rollout test was conducted with a partial stack c...