Assumptions Intermediate language: RISC-like 3-address code‡ Intermediate Code Generation (ICG) is independent of target ISA Storage layout has been pre-determined Infinite number of registers + Frame Pointer (FP) Q. What values can live in registers? ‡ ILOC: Cooper and Torczon, Appendix A. Strategy 1. Simple bottom-up tree-walk on AST 2. Translation uses only local info: current AST node + chi...

Lano, K., The intuitionistic alternative set theory, Annals of Pure and Applied Logic 59 (1993) 141-156. The Alternative Set Theory, as defined in Vopenka and Sochor, demonstrates how a set theory which avoids actually infinite sets can serve as a framework for much of classical mathematics. This paper defines a theory which can serve as an intuitionistic analogue of AST, and examines motivatio...

Motivated by the idea of J-frame for a Krein space K , introduced by Giribet et al. (J. I. Giribet, A. Maestripieri, F. Martnez Peŕıa, P. G. Massey, On frames for Krein spaces, J. Math. Anal. Appl. (1), 393 (2012), 122–137.), we introduce the notion of ζ − J-tight frame for a Krein space K . In this paper we characterize J-orthonormal basis for K in terms of ζ−J-Parseval frame. We show that a K...

A generalization of the known results in fusion frames and $g$-frames theory to continuous fusion frames which defined by M. H. Faroughi and R. Ahmadi, is presented in this study. Continuous resolution of the identity (CRI) is introduced, a new family of CRI is constructed, and a number of reconstruction formulas are obtained. Also, new results are given on the duality of continuous fusion fram...

In this paper, we study approximate duals of $g$-frames and fusion frames in Hilbert $C^ast-$modules. We get some relations between approximate duals of $g$-frames and biorthogonal Bessel sequences, and using these relations, some results for approximate duals of modular Riesz bases and fusion frames are obtained. Moreover, we generalize the concept of $Q-$approximate duality of $g$-frames and ...