Search Results for "code new roman"

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. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...

A programming language AL-IV (ALFOUR) is a high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code, full independence from a target platform, minimal enter level.

EJE is a simple Java editor, perfect to learn Java, without learning a complex development tool. EJE is multi-platform (written in Java), light- weight, user-friendly and have several useful basic features. A good help to start with Java! Supports the study of the Java for Aliens book (www.javaforaliens.com), or other my books (Italian Language) like www.nuovojava.it. You don't need to install the JDK anymore (the runtime is embedded). See the video "How to create the "Hello World App in...

JPPM is a packager manager for JPHP like npm or composer. JPPM will help you to build and run jphp applications or write new packages. JPHP is a new implementation for PHP which uses the Java VM. It supports many features of the PHP language (7.1+). How does it work? JPHP is a compiler like javac, it compiles PHP sources to JVM bytecode and then can execute the result on the Java VM. We develop a new IDE for beginners like Game Maker or Scirra Construct.

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

MultiJava adds open classes and multiple dispatch to Java. Open classes let one add new operations to existing objects. Multiple dispatch has many uses; one typical example is to write event handlers for Swing applications while avoiding nested ifs.

This project makes the compiler and tools for the Panini language available. A central goal of the Panini language is to make concurrent programming easier and less error-prone. The main new feature in Panini is called a capsule. A capsule is like an actor but better because it largely retains the traditional approach for reasoning about programs as a sequence of operations, abstracts away all details of thread creation and locking, and supports fully-automatic compile-time analysis of...

With ShortcutJava you can write Java code with shortcuts such as multiple-exception catches and aliases. You can also create new shortcut plugins. It has an Ant task for compiling with Ant. The shortcuts will work with ANY version of Java!

FreeForm can be described as a 'language language'. It can be used for specifying new formal language and the way how code written in such language is resolved. It allows defining syntax like libraries and combining and embedding custom syntaxes.

A Java bytecode weaver that enables you to take advantage of the new 1.5 language features in your source code, while still retaining compatibility with 1.4 virtual machines.

JDasm is a library written in java to easily manipulate Java class files. It gives you the ability to load a class file and modify it or write a new one from scratch; you can inspect it, edit or export any part of the class file and import it into anothe

Chai-T is a prototype implementation of a compiler for a language based on Java and including Traits (http://www.iam.unibe.ch/~scg/Research/Traits/), which are a new program structuring unit designed to maximise flexibility in code reuse

A framework for user-extensible compilers and development tools, including a Java-to-Java extensible compiler, ideal for Java code refactoring. Also includes the new LX programming language.

The TechTrader Bytecode Toolkit is a high-level set of APIs for manipulating java bytecode. It is primarily targeted at making runtime and/or compile-time enhancements to existing java classes, or creating new java classes on the fly.

The purpose of this project is to write a patch for Bison which adds the capability of producing Java code instead of C code. The software is based on the original Bison sources (version 1.28 of Bison). It provides a new -j option which selects Java ou