Search Results for "instruction programming language" - Page 22

Pava is an implementation of Relation Oriented Programming Language

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. ...

InPUT offers a descriptive and programming language independent format and IoC (Inversion of Control) container for the configuration and design of computer experiments. Code and more info can be found on github: http://github.com/feldob/InPUT

Bier Manager is a futsal simulation game that provides a new level of enjoyability in a manager game. The mission of the project is to help students to learn the Futsal dynamics and the Java Programming Language.

Dove is an integrated development environment for D programming language based on Eclipse(plgin for eclipse).It provides IDE features such as code completion, outline view, preference, debugger.

Compiler and virtual machine of a new programming language similar to pascal with learning proposals for computer science engineering students.

This project is java version of the SQL functions as defined by the Transact-SQL programming language for the MS SQL 2000. It is pure 100% Java implementation for the famous SQL Functions such as CONVERT, PATINDEX or DATEDIFF.

PAGEB is an easy to use tool to create videogames. With PAGEB is not necessary to known any programming language, nor to master complex game development techniques, to create high quality games. All you need is a good game idea and time to develope it.