EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools

Abstract

In this paper we describe EasyInterface, an open-source toolkit for rapid development of web-based graphical user interfaces (GUIs). This toolkit addresses the need of researchers to make their research prototype tools available to the community, and integrating them in a common environment, rapidly and without being familiar with web programming or GUI libraries in general. If a tool can be executed from a command-line and its output goes to the standard output, then in few minutes one can make it accessible via a web-interface or within Eclipse. Moreover, the toolkit defines a text-based language that can be used to get more sophisticated GUIs, e.g., syntax highlighting, dialog boxes, user interactions, etc. EasyInterface was originally developed for building a common frontend for tools developed in the Envisage [4] project.

Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)

“…Most non-termination techniques for TSs first search for non-terminating configurations, and then prove their reachability [5,6,9,21], or they extract and analyze lassos [22]. In contrast, ADCL-NT tightly integrates the search for nonterminating configurations and reachability analysis.…”

A Survey of Active Object Languages

“…There is an Eclipse plug-in that provides a development environment for ABS and integrates most tools. An alternative is the web-based ABS collaboratory [41] that runs in a browser and permits to try out most ABS tools. The collaboratory can be used either as a service or installed locally.…”