Search Results for "site"

This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. 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.

...Included in the package is PEG Explorer, an interactive tool to investigate the effect of limited backtracking. Sample grammar for Java is available from the Web Site.

JCppEdit is a free as well as "best IDE for Beginners" and is your one-stop IDE for all your coding needs. Whether you need to finish your Java project or submit your first HTML web page or perhaps have a need to code in C language while executing a java program into a Java IDE, JCppEdit will help you achieve your goals easily. Exploring your project and detecting an error in your code is much easier. You will not waste time detecting errors before compiling codes because you will get a...

Implementation of Combinatory Reduction Systems (CRS) with experimental extensions, in Java. CRS is a formalism for higher-order rewriting invented by J.W.Klop in 1980. For further details see the Project/Web Site.

Clojure is a dynamic programming language for the JVM. Note - current Clojure development has moved to Google code: http://code.google.com/p/clojure/ Project web site: http://clojure.org

SmartPas est un IDE/Compilateur libre d'un langage proche d'un sous ensemble du langage Pascal. Il n'est pas un outil de production pour les développeurs mais c'est un compilateur de test et de suivi... Site officiel : http://smartpas.net.ms/

Lazy is a language and a system to publish databases on the Web and to prototype full Web applications. It is based on the declarative specification of hypertext views No imperative programming is required to create a database-backed web site.

This sourceforge site is currently not in use and completely outdated. Please go to http://www.caesarj.org for up-to-date information and downloads.

The zCOBOL portable mainframe COBOL compiler with support for compiling multiple dialects of COBOL into any one of several target language executable programs including HLASM compatible mainframe assembler, Java, C++, or Intel assembler. All downloads and other information are kept at the z390 project site; see the home page link for more information.