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.

...The primary goal of XGAP is to assist the programmer in the repetitive and common coding tasks. That's why XGAP concentrates more in specifying an application than in programming it. You program a web application using XGAP by creating a set of XML files that describe it. Those XML files are taken by the generator and the PHP files are created by means of XSLT sheets. XGAP was born in 2003 at the UNICEN University as a tool for creating web applications for the intranet. At first, the platform was PHP and PostgreSQL. ...

Optimized version of MVP, using annotation generics to simplify code writing, using modular protocols to facilitate maintenance, APT process uses annotation parser to use JavaPoet. Complete the writing of repetitive modules, use ASpect+GradlePlugin to complete horizontal AOP programming+Javassist dynamic bytecode injection+Tinker to achieve hot repair+Retrofit to achieve elegant network operations+RxJava to easily play with data processing. In MVP, Presenter completely separates Model and View, and the main program logic is implemented in Presenter. Moreover, the Presenter is not directly related to the specific View, but interacts through the defined interface (we only need to pass parameters according to the interface when testing alone), so that the Presenter can be kept unchanged when changing the View. i.e. reuse! ...

Spaced IDE is a programming tool for the language whitespace that simplifies the creation of applications. Source code will be added soon.

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.

BlockIt provides a Python framework to scan and parse a program file into constituent nested blocks, however defined, forming a block tree of your code and can be used as a mechanism to "extend" in some sense, the underlying programming language.

Aurelia is a framework for program transformation based on a C++0x development environment. It provides libraries and tools for term rewriting, strategic programming, AST type generation, parsing.

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

A suite of utilities meant for use when programming in general C/C++. It includes a stat program, an "insert" management program, syntax highlighter, code generators, a library of system-independent header files, and many more, just to name a few.

A refactoring tool for the Java programming language, it includes the JavaStyle pretty printer, a UML java class diagram viewer, a coding standards checker and computes program metrics. Plugins for jEdit, Netbeans, JBuilder and other IDEs available.

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