Title: A web-based virtual laboratory for Hume language development

Proposer: Hans-Wolfgang Loidl

Suggested supervisors: Hans-Wolfgang Loidl

Goal: Develop a web-based virtual laboratory for Hume language development

Description:

The Hume programming language [1] provides a model of high-level, embedded systems programming with predictable resource consumption. It comprises a toolset consisting of an interpreter, an abstract machine compiler with backends for several platforms, and a static analysis for predicting heap, stack and time consumption. These tools currently exist as separate programs to be used from the command line.

The goal of this project is to develop a web-based environment that allows the user to call from a web browser the tools mentioned above. Additionally, it should be possible to develop a workspace for writing and storing Hume programs. Particular focus should be given to safety aspects of this virtual laboratory, to avoid interference between different workspaces and prevent applications started from a session to lock the underlying server.

Resources required: Linux, Apache

Degree of difficulty: Moderate

Background needed: PHP programming

References: