Search Results for "notation"

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

This project is dedicated to developing more readable format(s) for Lisp-based languages (such as Common Lisp and Scheme) and implementing those formats (readers, pretty-printers, editor macros, etc.). MIT license preferred, to spread them widely.

Java library for parsing and evaluating math expressions. Javadoc is available at http://bracer.sourceforge.net/javadoc/ P.S. This library depends on Apache Commons Math, so don't forget to include commons-math-2.2.jar to your project.

[The deva language v1 was a learning experiment for creating an interpreted language from the ground-up, with no prior working knowledge on the subject. It makes about every mistake possible... the author went on to create a second version to apply the lessons from v1. v2 is a workable scripting language, but like all such attempts, a third version would include even more lessons (ad infinitum)] Original goal: The 'deva' programming language. A small dynamic, language bearing some...

Pagkalos is an interpreted language written in Java. It supports the lambda-calculus and object-oriented techniques. All statements are writeen in reversed polish notation. Java-classes, objects and methods are easily accessible with the dot-notation.