Search Results for "programming program c2"

The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.

UniCC (UNIversal Compiler-Compiler) compiles an augmented grammar definition into a program source code that parses the described grammar. Because UniCC is intended to be target-language independent, it can be configured via template definition files to emit parsers in almost any programming language. UniCC comes with out of the box support for the programming languages C, C++, Python (both 2.x and 3.x) and JavaScript.

Ccide reads a source program, in one of several programming languages, expands all embedded decision tables, and generates the new, expanded source. Ccidew processes C language programs directly. The script, ccide, uses ccidew and m4, to process BASIC, JAVA, CC, C++, BASH, QB, VB, and EX(euphoria), source files containing embedded decision tables.

Parse software messages and transform them into actions. LazyBat has a command line utility which can transform input data, and also a parser generator for C/C++. LazyBat doesn't support recursive parsing, but rather focuses on common parsing jobs.

GClassGen is a program that generates a GObject class in a variety of programming languages based on certain inputs. It does this using a plugin system, so additional languages can be added without re-compiling the main program.

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

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