Search Results for "to-do"

...The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

mjcide was developed as a final project for Compiler class at UFABC (Universidade Federal do ABC). The project has two components: a microjava compiler (MIT license) and an IDE (LGPL 2.1 license).

Application for searching classpath dependencies of source code. Sometimes you do not know, which common libraries you need to compile existing java source code including transitive dependencies.

Jaby=Java+Ruby Jaby is a programming language that extends Java with the syntax of do/yield in Ruby. Jaby also provide a set of library that written in Jaby.

AspectJ integration with Borland's JBuilder IDE. Developers use the AspectJ language to do aspect-oriented programming for Java projects. They can compile and run AspectJ and Java programs, and navigate and view crosscutting structure in the editor an

Shark is an open-source preprocessor for Java that lets you do more with less. Shark makes Java sharper by adding Apache Velocity-style foreach loops and property getters, C#-style property setters, and more. Shark includes a commandline tool as we

...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 asynchronous communications or protocol compliance anymore. The language is based on strong theoretical bases, so that you can let its compiler do the jobs of checking your global programs and generating correct implementing code for you!

Este é um projeto acadêmico, desenvolvido pelos alunos da Univali do campus de São José, estudantes da Linguagens formais e autômatos. O objetivo deste trabalho é desenvolver um projeto de compiladores.

Este é um trabalho da disciplina de Compiladores, do Curso de Ciência da Computação (UNESC), concentrando-se em criar um compilador para a linguagem criada.