Advertisement

Langages Sans Etiquettes et Transformations de Programmes

  • Jacques Arsac
Part of the Lecture Notes in Computer Science book series (LNCS, volume 14)

Résumé

effort entrepris pour une meilleure programmation, a amené à explorer de nou elles structures de langages de programmation, évitant l’emploi des instructions’ de branchement (DI 1, WI 1), et à comparer leur puissance expressive (MA 1). Elle reste toutefois difficile à caractériser. Si elle a servi de départ à cette étude, nous ne chercherons pas à savoir si la structure de langage proposée ici s’y rattache. L’important est de montrer les possibilités qu’elle ouvre pour la manipulation formelle de programmes.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  1. AR1.
    J. Arsac “les langages sans étiquettes” Publications de l’Institut de Programmation, 73. 11 (1973) Google Scholar
  2. DI1.
    E.W.Dijkstra “notes on structured programming in structured programming” Academic press (1972).Google Scholar
  3. DI2.
    E.W.Dijkstra “a simple axiomatic basis for programming language constructs Unpublished report EWD 372 (1973) Google Scholar
  4. MAl.
    Z. Manna and A.K.Chandra, “on the powwer of programming features” Stanford artificial intelligence Memo - aim 185 (1973) Google Scholar
  5. RU1.
    G.Ruggiu, “formalization of EXEL”- ACM Sigact-Sigplan Symposium on principles of programming languages - Boston (1973) Google Scholar
  6. WIl.
    N. Wirth, “The programming language Pascal” Acta Informatica 1, 1 (1971) Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • Jacques Arsac
    • 1
  1. 1.Institut de Programmationl’Université Paris VIFrance

Personalised recommendations