Many low-level runtime engines and virtual machines are stack based instructions take parameters from the stack and leave their results on the stack. Stack language is a common name for several languages used to program stack based (virtual) machines like CLR, JVM, Forth, Postscript, etc. We chose the Forth language as an example to represent the class of stack languages, partially because this...

A novel design-friendly device called the transistor-injected dual doping quantum cascade laser (TI-D2QCL) with two different in each stack of a homogeneous superlattice is proposed. By adjusting base-emitter bias Vbe bipolar transistor to supply electrons regions, charge quasi-neutrality can be achieved generate optical transitions cascading stack. These are then stacked and amplified contribu...

We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system by proving non-interference. One of the problems of studying information flow for a low-level language is the absence of high-level control flow constructs that guide information flow analysis in high-level languages. Furthermore...

types describe properties or invariants of objects. For example, Emerald’s [13] interface types list a set of operations that objects must support and the types of arguments and results of the operations. Abstract types characterize the externally observable behavior of objects and need not distinguish between different implementations of the same behavior. Returning to our example, both ListSt...