This paper presents an experimental code generator that performs intra-block stack scheduling for a stack-based execution model. For small test programs, 91% to 100% of redundant local variable accesses were eliminated using this compiler. Compiled intra-block stack scheduling and hand-performed global stack scheduling show that significant opportunities exist to keep temporary variable values ...

Stack-Based Query Language (SBQL) is a model query and programming language for a wide family of object-oriented database models. SBQL is the result of investigations into a uniform theoretical and conceptual basis for object-oriented query languages integrated with programming capabilities and abstractions, including database abstractions: updatable views, stored procedures and transactions. S...

Register allocation is a critical part of any compiler, yet register allocation for stack machines has received relatively little attention in the past. We present a framework for the analysis of register allocation methods for stack machines which has allowed us to analyse current methods. We have used this framework to design the first truly procedure-wide register allocation methods for stac...

The stack is a critical memory structure to ensure the correct execution of programs because control flow changes through the data stored in it, such as return addresses and function pointers. Thus the stack has been a popular target by many attacks and exploits like stack smashing attacks and return-oriented programming (ROP). We present a novel system to detect the corruption of the stack lay...

We experimentally observe the “superprism effect” in a periodic thin-film structure acting as a one-dimensional photonic crystal. The design of non-periodic structures exhibiting a linear shift with wavelength in the EDFA C-band is discussed. 2002 Optical Society of America OCIS codes: (260.2030) Dispersion; (060.4230) Multiplexing; (230.4170) Multilayers WDM systems create a strong need for c...

a typical iranians carbonate matrix block surrounded by an open fracture was modelled in order to understand the fracture-matrix interaction and how to model the interaction best. this was modelled by using a fine-scaled eclipse model in the single porosity mode . the model was extended to a stack of 6 matrix blocks to understand block-to-block interaction under gas injection scenarios. results...

conceptual design of a waste heat recovery cycle is carried out in attempt to enhance the thermal efficiency of a steam power plant. in the recovery system, super-critical an co2 is employed as the working fluid operating in a brayton cycle. low grade heat rejected by the flue gases through the stack is used as the primary heat source, while a secondary heat exchanger utilizes the hot gases lea...

This paper presents a composition method for stack-attributed tree transducers. Stackattributed tree transducers extend attributed tree transducers with a pushdown stack device for attribute values. Stack-attributed tree transducers are more powerful than attributed tree transducers due to the stack mechanism. We extend the existing composition method for attributed tree transducers to the comp...

Software testing is an integral part of modern software engineering practice. Past research has not only underlined its significance, but also revealed multi-faceted nature. The practice and adoption influenced by many factors that go beyond tools or technology. This paper sets out to investigate the context from practitioners’ point view mining analyzing sentimental posts on widely used questi...

We show the compactly supported motive of moduli stack degree n rational curves on weighted projective $${\mathcal {P}}(a,b)$$ is mixed Tate type over any base field K with $$\hbox {char}(K) \not \mid a,b$$ and has class $${\mathbb {L}}^{(a+b)n+1}-{\mathbb {L}}^{(a+b)n-1}$$ in Grothendieck ring stacks. In particular, this improves upon results (Han Park Math Ann 375(3–4), 1745–1760, 2019) regar...