Search Results for "software auth program" - Page 3

Course Compiler Design I at the ETH Zuerich (Switzerland). The course program is to write a simple compiler for educational language J01 (similar to Java, with restrictions) for a target platform (either DLX, SPARC or x86).

Java-program to read, modify and execute class-files. a real java VM written in java or a decompiler for class-files is possible (and partially working)

This is a program to discover java bytecode.

A compiler which translated AspectFun program into Haskell.

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.

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

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.