Java graphing calculator, ICS 10 summative. Has calculus, equation solving, statistical, and curve fitting features. Implements Shunting-Yard algorithm. Created with Matthew Chiang and Frederick Ngo ...
SK Calculus or SK Combinator Calculus is a Turing complete computational system, that can be regarded as a reduced version of the untyped lambda calculus. SK Calculus is the minimal turing complete ...
Abstract: This paper presents a formal imperative calculus to formalize the semantics of class-based object-oriented programming languages. The tractability of this approach is demonstrated by our ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results