H ? « ‹ ← → › »

Language peer sets for EXEL:
France↑
France/1973↑
Designed 1973 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Specialised Languages ↑
Specialised Languages/1973↑
Specialised Languages/fr ↑

EXEL(ID:4154/exe003)

alternate simple view
Country: France
Designed 1973
Sammet category: Specialised Languages

Language family for the Eidelweiss system, concerned with program manipulation and verification
Related languages
ATF → EXEL   Evolution of
EXEL → Arsac dataflow   family member
References:
  • Arsac, J.; Blain, G.; Nolin, L.; Ruggiu, G.; Vasse (1973) Arsac, J.; Blain, G.; Nolin, L.; Ruggiu, G.; Vasseur, J.P. "EXEL an experimental language" - 1973
  • Noguez, Gérard L.M. (1973) Noguez, Gérard L.M. "Design of a microprogramming language" 6th International Symposium on Microarchitecture College Park, Maryland, United States 1973 pp145-155 Abstract
  • Nolin, L. (1973) Nolin, L. "Une théorie des algorithmes - Présentation intuitive" Mémoire No 0173 du Groupe d'Informatique Théorique de l'Université de Paris - 1973.
  • Nolin, L.; Ruggiu, G.; (1973) Nolin, L.; Ruggiu, G.; "Formalization of EXEL" pp108-119 Extract: Introduction
          in [POPL 1973] (1973) [ACM SIGACT-SIGPLAN] Proceedings of the ACM Symposium on Principles of Programming Languages, Boston, October 1973. Association for Computing Machinery.
  • Arsac, Jacques J. (1979) Arsac, Jacques J. "Syntactic source to source transforms and program manipulation" pp43-54 Abstract Online copy
          in [ACM] (1979) [ACM] CACM 22(01) January 1979
  • Boussinot, Frederic (1979) Boussinot, Frederic "Un Interpreteur Utilisant Un Appel Par Necessite Avec Partage Pour L'evaluation Des Expressions De Procedure Du Langage Exel" [Interpreter Using a Call by Necessity with Sharing to Evaluate the Procedure Expressions of the EXEL Language.] Revue technique - Thomson-CSF 11(4) December 1979, pp921-942 Abstract
          in [ACM] (1979) [ACM] CACM 22(01) January 1979
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder