Challenging Questions for the Rationals of Non-Classical Programming Languages

Olivier Michel (1) , Jean-Pierre Banâtre (2) , Pascal Fradet (3) , Jean-Louis Giavitto (1)

1 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
2 PARIS - Programming distributed parallel systems for large scale numerical simulation
3 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time

In this position paper, we question the rationals behind the design of unconventional programming languages. Our questions are classified in four categories: the sources of inspiration for new computational models, the process of developing a program, the forms and the theories needed to write and understand nonclassical programs and finally the new computing media and the new applications that drive the development of new programming languages.

Mots clés: unconventional programming language; computing metaphors; syntax; semantics; program development

Domaines: Informatique; Informatique ubiquitaire; Logique en informatique [cs.LO]; Informatique et langage [cs.CL]

Olivier Michel, Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto. Challenging Questions for the Rationals of Non-Classical Programming Languages. The Grand Challenge in Non-Classical Computation, 2005, The King's Manor, York, United Kingdom. pp.93--103. ⟨hal-00340491⟩