The Web according to Hop, or how to program Web 2.0
The objective of the INDES project-team, created in July 2010, is to study diffuse computing models and develop languages for programming secure diffuse applications. This team is led by Manuel Serrano.
These applications, among which Web 2.0 applications stand out, emerge from the convergence of broad network accessibility, a very rich personal digital environment, and the availability of vast sources of information. Strong guarantees pertaining to the security of these applications are required, as they rely on the sharing of private data through networks containing relatively unsecure nodes, using unreliable communication channels. Diffuse computing requires an original combination of various computing paradigms, from traditional sequential programming to concurring, synchronous or asynchronous programming models.
INDES seeks to contribute to the entire field of diffuse computing, from the study of semantic models to the design, implementation and use of programming languages. This team targets concepts guaranteeing efficient, secure "correct by construction" programming of diffuse applications. The work is based on HOP, a programming model developed as part of the INDES project-team's work, which uses the Web as an execution platform and targets interactive multimedia applications.
This language has the particular feature of offering, in a single syntax, all of the functionalities necessary for the programming of such applications, from communication protocols (http) to traditional algorithmics as well as the generation of HTML pages managed by web users. For now, this programming language has very few competitors in the world.