Search Results for "research" - Page 4

Visai Neri is an attempt to syntactically parse Natural Languages in general and Tamil in particular. To this end, we have developed an application using JavaCC to parse Venpa poetry after writing the grammar in BNF. Vision: complete Tamil grammar in

OS based on Agent based Security with a new type of split kernel and agents platform.

kin is a set of libraries and tools supporting meta-programming for engineering and technical computing applications. This JVM version of kin has been superseded by the stand-alone version being developed at http://purl.org/net/kin.

Kawa is a full Scheme implementation. It implements almost all of R5RS (for exceptions see Restrictions), plus some extensions.

Jeeg is a dialect of Java based on a declarative synchronization mechanisms.Synchronization constraints in Jeeg are expressed in a linear temporal logic. Jeeg is inspired by the current trend in aspect oriented languages.

A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based user interface engine

M is a capability-based language in the Java framework for distributed, secure, persistent, extensible virtual worlds. The project also supports JCC, a Java-based hybrid constraint programming language. This project is also being used for work on TCC and its extensions.

The compilerMonitor persists a record of all javac error messages and the sources that caused/fixed the errors. It is a CAUSE (computer-aided usability engineering) tool that analyzes interaction between a developer and the compiler.

The Data Abstraction Penalty benchmark for Small Objects in Java and C#, version 2.

This project was started in an effort to ease development of Swing applications by creating a XML to Swing rendering utility. Although this project is definitely in the first released state, it shows great promise and focuses solely on the Swing API as a

This project is a translator of java .class files containing java bytecode to the Common Language Architecture (CLI) executable code files. CLI, it is the base specification of Microsoft .Net framework (However, this projects intends to be independe

DAJ is an extension of the AspectJ programming language to incorporate adaptive programming concepts from the Demeter project.

Model implementation for the BaSa language, a Turing-like language. This simple language is to be run in a virtual machine. The proposed language specification is defined in http://www.cs.ui.ac.id/kuliah/IKI40800/model.html

A framework for data-flow based program analysis, implemented as a set of Java APIs. By using this framework, researchers and developers can easily implement analyses, test their correctness, and evaluate their performance. In addition, the framework all

Code translation utility to convert Php website code into a Java/J2EE JSP equivalent code. Conversion application is written in Java. Utilizes Antlr to translate between the languages.

Peet is a back-end .NET compiler for the SXM software transactional memory (STM) package (available from Microsoft Research). It makes concurrent programming with an STM library easier and more efficient.

Ownership and Immutability Generic Java (OIGJ) is a programming language based on Java with generic types. OIGJ supports deep ownership, confinement, object- and reference-immutability.

ClassMaker is a byte code generation library for the Java Virtual Machine. Unlike other byte code libraries ClassMaker deals with higher order structures, including methods, if statements, while loops and try blocks.

The aim of this project is to create a fully functional C compiler that translate into bytecode.

iTTCP means "integrated TTCP". The project integrates the TTCP compiler into Eclipse environment and allows so developing and running testcases, specified in TTCN-3 language.

The compiler is aimed at compiling the vyne language. The Vyne language is a high level programming language that aims to be a very powerful alternative to the currently well established high level languages. The goal is not to reinvent the wheel, but to make it better. One thing that is important is that Vyne should not be owned by anybody. The language itself should be maintained by the community. The development website can be found on http://www.vyne.org

The aim of the project is to write an distributed object compiler/interpreter. Object reside on special server and can be accessed in a java/c++ style programming language through a network. This project is currently being renamed please check http://obj

Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. 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...