Submit Software
  1. Home
  2. Windows
  3. Other
  4. Session Java

Session Java

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes
Download

Session Java is an extention over Java which provides functionality to allow the typechecking of sessions at compile time. The sessions are defined using the Web Service Description Language (WSDL) and are modelled on sessions in Pi Calculus.

VERSION HISTORY

  • Version N/A posted on 2011-08-10
    Several fixes and updates
  • Version N/A posted on 2011-08-10

Program Details

Related Programs

  • JRuby Free

    JRuby is the effort to recreate the Ruby interpreter in Java. JRuby is tightly integrated with Java to allow both to script any Java class and to embed the interpreter into any Java application. NOTE: JRuby has moved to Codeh

  • RiSE Latex Template Free

    This project provides a LaTeX class and template for BSc, MSc and PhD thesis. It is developed by RiSE researchers (http://www.rise.com.br/research) and it is based on UFPE Thesis class from Center for Informatics at Federal U

  • Riverdrums Load Balancer Free

    The Riverdrums Load Balancer is a feature-full, fast, event-driven frontend to enable high throughput access to clusters.

  • SiteView Syslog Free

    SiteView Syslog is a port of ossec.net to Erlang and wxWidget. Taking advantage of Erlang's capability, SiteView Syslog provides high performance and distributed log message decoding and rule processing engine.

  • CodeProducer persistence framework Free

    CodeProducer is a framework which, starting from abstract data types definitions, builds the underlying persistence layer, fully encapsulates SQL machinery, and exposes to upper layers a coherent programming interface for per

  • devtool Free

    The devtool project is developed under terms of LGPL. Originial it contains a plugin for eclipse but this part of project is dead (archive in CVS). At now the project will be develop simple tools/helper for developers (SVN).

  • Swing UI Localizer Free

    Using this package you can develop easily a multi-lingual application which supports on-the-fly locale switching. It also provides a tool for creating and translating language files.

  • SrcML Framework Free

    The SrcML Framework allows converting Sourcecode to a XML representation on which tools can then be used to deduce statical data for analyzing and visualizing the initial source. It also provides easy ways to write programs w

  • manyex Free

    Manyex is a tool for preparing exams and tests from a database of exercises with questions. It creates the exams in LaTeX so that you can process them with the Tex/Latex system.

  • the python Import GUI Free

    the pIG bulk-processes data files generated by 'popular' scientific behavioural programs, including Med Associates MedIV-PC, Coulburn TruScan and Kinder Scientific.