Search Results for "android program source code" - Page 2

deltaFSD is a graphical tool for defining a program by linking the inputs and outputs of functions. The links created between functions determine the interdependencies within the program and so the sequence in which the functions should be executed.

The program emulates a MIX machine (introduced by Knuth in his books "The Art of Computer Programming"). - MIX Assembly Language (MIXAL) parser that converts the MIXAL code to MIX machine code - a MIX interpreter which executes MIX machine code

"Traceur Pascal" is a java application that interprets Pascal source codes and follow its execution. The purpose is to help pascal beginners to understand how a pascal program is executed and to debug source code.

The project's aim is to build automated programming language translation system that will port program sources written in one language to other programming language(s).

Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. ...

Is an introspective and customizable general purpose language; can be easily extended both in functions and syntax. Implements the idea that source code and program are equivalent, so it isn't compiled and the program source code can be modified runtime

CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.