Search Results for "p-unit"

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

PEARL is a high level procedural programming language, which was especially designed for the demanding need to have an expressive and comfortable language for solving multitasking problems when controlling technincal processes. PEARL is an abbreviation for "(P)rocess and (E)xperiment (A)utomation (R)ealtime (L)anguage". It was designed around 1975 at the IRT Institute of the Leibniz University in Hannover with the idea in mind to have an easy to learn programming language for realtime problems. For more, also historical information please visit (http://www.pearl90.de/). In 1998 PEARL-90 was standardized by the Deutsches Institut für Normung e.V. in DIN 66253-2. ...

...Binaries can be found on their server[1] and on the one of the University of Linz[2] where Mössenböck's group did further development after he left ETH and the Group at ETH concentrated on System 3. More Information can be found in the wiki https://sourceforge.net/p/oberon/wiki/Home/ of this Project and on Wikipedia https://en.wikipedia.org/wiki/Oberon_(operating_system). In 2013 they were moved here for easy access and, in case of interest, collaboration on further development. The Oberon mailing list[3] is an established channel for its discussion and followed also by the administrators of this SF project...

p5c is a fast portable iso standard pascal compiler. It is derived from the pascal p5 compiler and creates gnu c code instead of p-code. This makes it very fast since it uses gcc to generate native code. p5c is multi platform - it is easy to get up and running since you only need gcc to start. Using gcc enables extra tools like a static analyser and code coverage analyser. Execution profiling described in the blog here -> https://sourceforge.net/p/pascal-p5c/blog/2017/07/how-to-use-profiling-to-speed-up-p5c-pascal-programs It extends p5 by adding arbitrary set limits and conformant arrays. ...

FIJI the ForthIsh Java Interpreter is an interactive environment with a procedural syntax similar to the Forth programming language. FIJI can load, introspect, and execute Java classes and methods. FIJI's main use is for unit and component testing of Java.

A simple way to create a syntax highlighting editor for a custom language/grammar and/or create custom grammar parsers. This is a .NET project written in C#. See details here: http://acct001.com/wordpress/?p=190

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

STDL (Structured test description language) is a domain-specific testing language that is used to auto-generate unit test code. It supports a myriad of output languages (incl. C#). The project's aim is that of reducing the resources required for testing

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