References in periodicals archive ?
As an example, we may simply reuse the one of Figure 9, since the typing given there remains valid in the stackless static semantics.
The one-step soundness theorem for the stackless semantics requires some auxiliary definitions.
There are other minor options such as stackless variations (Vaf, Naf) or right-to-left versus left-to-right call-by-value.
The kd-tree augmented with ropes and the stackless kd-tree traversal algorithm [21] are utilized to accelerate ray tracing on the GPU.
Slusallek, "Stackless KD-tree traversal for high performance GPU ray tracing," Computer Graphics Forum, Vol.
"Spring and the OSGi crew have made hay with providing these 'stackless stacks' for some time now, and seeing the goal of reducing complexity become part of EE is fantastic."
The unit features a standard automatic document feeder, stackless duplexing and the ability to copy 11" x 17" full-bleed on 12" x 18" paper.
A Stackless Duplex feature ensures faster, cleaner reproduction of two-sided documents in a one-step process.
A Stackless Duplex feature ensures fast, clean reproduction of two-sided documents in a one-step process.
The third step relates the structured semantics to the stackless semantics for [JVML.sub.s], shown previously in Figure 2 and Figure 7.
He also says that this sealed "stackless" system emits no odors, polluting gases, or effluents.
The latest digital system from Kyocera Mita America, Inc., the Vi7360 Digital Copier/Printer, offers 73 copies per minute, standard unlimited stackless duplexing, finishing and saddle-stitching with all-position stapling.