Search Results for "delphi source code" - Page 24

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

cdd is the lexical, grammatical, and syntactic analyzer of the C÷÷ dialect. The latter is not a programming language, but a set of variations in the C language that cdd analyzes, converts to C code and compiles by calling to g++.

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