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

YAXX is an XML extension to YACC, a well-known public-domain compiler-compiler. This extension allows a program of a YACC grammar to be automatically converted into an XML document.

banshee-- A toolkit for building constraint-based program analyses

A java class assambler. This program assembles java byte code instructions for the JVM, like MASM for the CPU. Knowledge of the java byte code instruction is strongly required.

The aim of the project is to provide short description of many programming languages, dialects, IDEs, etc. with sample programs (realizations of common algorithms like 'hello, world', 'dot product', 'quine program').

Chai-T is a prototype implementation of a compiler for a language based on Java and including Traits (http://www.iam.unibe.ch/~scg/Research/Traits/), which are a new program structuring unit designed to maximise flexibility in code reuse

Recoder.C# is a Java framework for C# program analysis and source code transformation. It computes an easy to use syntactic and semantic program model containing cross references and supports transformation rollbacks and incremental model updates.

Il2j is a translator of Common intermediate language to java bytecode. It will allow programmers to program in any .Net languages, and run their software on any virtual machine.

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

A framework for data-flow based program analysis, implemented as a set of Java APIs. By using this framework, researchers and developers can easily implement analyses, test their correctness, and evaluate their performance. In addition, the framework all

This compiler tries to detect pieces of code in a program that are not dependant and compile them in a way that the resulting code can be execuded in parallel on a runtime system built to support this. Only an experiment for my thesis.

Stalin is an aggressive optimizing batch whole-program Scheme compiler. It uses advanced flow analysis and type inference and a variety of other optimization techniques to produce code (using C as an intermediate language) that is extremely fast.

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

PLCduino is an open hardware alternative for industrial and home automation. It uses the well known ATmega chips as main processor, the same used on Arduino. This means that PLCduino is code-compatible with all arduino sketches.

Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about...