Les langages synchrones ont été conçus pour programmer des systèmes temps-réels critiques et ont eu des succès majeurs dans ce domaine. Leur pouvoir expressif a été volontairement réduit pour garantir des propriétés essentielles: exécution

February 3, 2012 44 min