Sh. E. Bozoyan

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper considers the Alex language designed for describing digital circuits. This is a generalization of the nonbracket language notation (“Polish Notation”) based on the deduction principle; i.e., an axiomatic theory has been constructed with a circuit notation being a theorem. We prove a metatheorem (theorem on the circuit notation) that sets(More)
Modern virtual machines for JavaScript use just-in-time (JIT) compilation to produce binary code. JIT compilers cannot perform complex optimizations. In contrast, static compilation has unlimited capabilities for complex optimizing transformations, but it cannot be efficiently applied to dynamic languages, such as JavaScript. In this paper, a general(More)
  • 1