CAN CSA-ISO-8485-1996 Langages de programmation - APL.pdf

《CAN CSA-ISO-8485-1996 Langages de programmation - APL.pdf》由会员分享，可在线阅读，更多相关《CAN CSA-ISO-8485-1996 Langages de programmation - APL.pdf（269页珍藏版）》请在麦多课文档分享上搜索。

1、NORME I NTE R NATI 0 N ALE IS0 8485 Premiere edition 1989-1 1-01 Langages de programmation - APL Programming languages - APi Norme nationale du Canada CAN/CSA JSO-8485-96 La norme internationale IS0 8485:1989 a et6 adopt6e sans modifications, et porte maintenant la designation cAN/csA- IW-8485-96. E

2、lle a 6t6 approuvee comme Norme nationale du Canada par le Conseil canadien des normes. Avrill996 Numero de reference IS0 8485 : 1989 (F) IS0 8485 : 1989 (F) Avant-propos LISO (Organisation internationale de normalisation) est une federation mondiale dorganismes nationaux de normalisation comites me

3、mbres de IISOi. Lelaboration des Normes internationales est en general confiee aux comites techniques de IISO. Chaque comite membre interesse par une etude a le droit de faire partie du comite technique crke a cet effet. Les organisations internationales, gouvernementales et non gouvernementales, en

4、 liaison avec IISO participent egalement aux travaux. LISO col- labore etroitement avec la Commission dectrotechnique internationale (CEI) en ce qui concerne la normalisation electrotechnique. Les projets de Normes internationales adoptes par les comites techniques sont sournis aux comites membres p

5、our approbation, avant leur acceptation cornme Normes inter- nationales par le Conseil de IISO. Les Normes internationales sont approuvees confor- mement aux procedures de IISO qui requikrent Iapprobation de 75 % au moins des comites membres votants. La Norme internationale IS0 8485 a ete daboree pa

6、r le comite technique ISO/TC 97, Systemes de traiternent de linformation. Lattention des utilisateurs est attiree sur le fait que toutes les Normes internationales sont de temps en temps sournises a revision et que toute reference faite a une autre Norme internationale dans le present document impli

7、que quil sagit, sauf indication contraire, de la dernikre edition. Les annexes A et B sont donnees uniquernent a titre dinformation. 0 IS0 1989 Droits de reproduction reservks. Aucune partie de cette publication ne peut 6tre reproduite ni utilisee sous quelque forme que ce soit et par aucun procede,

8、 electronique ou rnecanique, y compris la photocopie et les microfilms, sans Iaccord ecrit de Iediteur. Organisation internationale de normalisation Case postale 56 CH-1211 Geneve 20 e Suisse IS0 8485 : 1989 (F) Table des matieres Page 0 Introduction . 1 1 2 Refkrences 3 Objectif et Domaine dApplica

9、tion 2 3 Presentation de la Norme . 4 3.2 =signation des tableaux dans les exemples . 5 3.3 Notes 5 3.1 Prisentation des difinitions . 4 3.4 R6fkrences croiskes . 5 3.5 Ddfinitions ginerales . 6 3.5.3 Fonctionnalitk (dune implantation) 6 3.5.1 Programme . 6 3.5.2 Implantation . 6 4 Conformit6 . 7 4.

10、1.1 Comportement Requis pour une Implantation Conforme 7 4.1 Implantation conforme 7 4.1.2 Documentation Requise pour me Implantation Conforme . 8 4,1,2.1 Documentation des Fonctionnalitks Optionnelles 8 4.1.2.2 Documentation des Fonctionnalit6s dune Implantation Difinie . 8 4.1.2.3 Extensions Coher

11、entes . 8 4.2 Programmes conformes . 9 4.2.1 Comportement Requis pour un Programme Conforme . 9 4.2.2 Documentation Requise pour un Programme Conforme . 9 5 Definitions 10 5.1 Caract les proprietks propres aux implantations, susceptibles de varier avec les kquipements ou les systkmes les valeurs-lim

12、ite fixges par une implantation, telles que la taille de la zone de travail ML ou la precision du calcul numirique ; les structures de donnies utilisies pour reprksenter les objets APL ; les fonctionnalitks accessibles au moyen des variables partagees. 2 IS0 8485 : 1989 (F) 2 REFERENCES I SO 2375 :

13、1985, Traitement de linformarion - Procedure pour lenregistrement des sequences dechappement. IS0 2382-15 : 1985, Traitement des Donnees - Vocabulaire - Partie 75: Langages de frogrammation. 3 IS0 8485 : 1989 (F+) 3 PRESENTATION DE LA NORME La pksente Norme Internationale est un modkle forme1 de mac

14、hine APL, spkifik comme une collection densembles finis, de diagrammes et de skquences dkvaluation, et dobjets construits B partir des ensembles finis, des diagrammes et des shquences dkvaluation. Les ensembles finis sont le j eu-de caractltres dune implantation-dkfinie, lensemble des nombres dune i

15、mplantation-dkfinie et les ensembles difinis en extension : type dun-tableau, noms-de-dasse, etats - du clavier, noms-de-mode, jeu-de-caract6res-requis et existenchdune-zone-de-travail. Les diagrammes sont des graphes orient par exemple : Z t f B consider6e come un commentaire sur la presente Norme

16、Internationale. 4 IS0 8485 : 1989 (F) Une skquence devaluation, exprim chaque 6Ement du tableau, une fois dkompos6 en chiffres, donne lindice de cet diment. Par exemple, N4 1234 N23 11 12 13 21 22 23 111 112 113 114 121 122 123 124 131 132 133 134 N234 211 212 213 214 221 222 223 224 231 232 233 234

17、 231 N2342;3 ; 11 3.3 Notes La prgsente Norme Internationale contient des notes, qui en cornmentent le texte, pricisant la signification des difinitions, etablissant des rapports entre les definitions, et, en outre, faisant en sorte que le texte soit comprkhensible. Ces notes sont kites dans une imp

18、ression differente de ceIle de la prisente Norme Internationale, et sont prkckdkes du mot “Note“. Lexemple qui suit est une note. Note : Ceci est une note. Les notes ne posent jarnais dexigences pour la conformit6. Elles peuvent suggkrer des propriitks souhaitkes, mais de telles suggestions ne sont

19、pas impiratives pour la conformitt5 3.4 Refkrences croisees Les niveaux den-ths de la prksente Norme Internationale sont Iarticle, le paragraphe et le sous-paragraphe. Lorsque des rifirences croisies sont donnkes, elles figurent toujours dam un titre de sous-paragraphe. Dans lindex, situ6 B la fin d

20、u document, les sous-paragraphes sont traitkes comme les dkfinitions ; la page sur laquelle le sous-paragraphe commence est toujours la premiitre entrie dans lindex ; les numkros qui suivent dans lindex indiquent les pages oh le sous-paragraphe est r6fkrenck. 5 IS0 8485 : 1989 (F) 3.5 Dkfinitions ge

21、nerales Au sens de la pn5sente Norme Internationale, iI est imperatif que les dgfinitions donnees dans le document IS0 2382/15 soient utiIiskes. Dans le cadre de la prCsente Nonne Internationale, les d6finitions suivantes sont Cgalement utilisees ; 35.1 Programme Une application. Note : Le terne est

22、 utilid dans la pdsente Norme Internationale, de fagon A inclure aussi bien une expression APL quun ensemble de zones de travail pouvant communiquer par des variables partagkes. 3 S.2 Implantation Lensemble, form6 par un ordinateur et son logiciel associk, pouvant traiter des programmes (APL). Note

23、: Une implantation est une concr6tisation de lobjet : systkme, sp6cifik par la pr6ente Nome Internationale. 35.3 Fonctionnalitb (dune implantation) Un cornportement 6lkmentaire. Chaque fonctionnaIit6 appartient 5 lune des catigories suivantes Fonctionnalitk-dkfinie : Une fonctionnalitk entikrement s

24、picifiee dans la prksente Norme Internationale, et qui nest ni une fonctionnalite-optionnelle, ni une fonctionnalit6- d6fini eg ar-1 implan ta tio n . Fonctionnalitb-optionnelle : Une fonctionnalite entikrement spkifiee dans la prisente Nome Internationale, mais designke come optionnelle. Fonctionna

25、litii-d ccst IC cas des algorithms utilids pour Iinversion des matrices. I1 est sugg6r6 que les prOgammeS-COnfOtTlt!S contiennent une documentation d6tailI6.e sur Ies valeurs des paramktres-dimplantation quils requisrent, de manibre quon puisse determiner immkliatement sils conviennent a xe implanta

26、tion-conforme donn6e. 9 IS0 8485 : 1989 (F) 5 DEFINITIONS 5.1 Caractkres Jeu-de-caracteres : Un ensemble fini dfinigar-lirnpJantation. Caractkre : Un 616rnent de lensemble fini, dfini_par-limplantation : jeu-de-caractkres, Jeu-de-caracteres-requis : Un ensemble dkfini en extension, dont les il6ments

27、 sont d6signis par les symbdes graphiques de la Table 1. Le j eu-de-caractb-es fourni par une implantation-conforme devra contenir tous les 6Timents du jeu-de-caractkres-requis. Au tr e-C on di tion-Requise : Les 616rnents du jeu-de-caractkres-requis sont reprksentes dam la prisente Nome Internation

28、ale par des symboles, dont le graphisme pdculier figure dans la Table 1. Les symboles graphiques associis au jeu - de-caractkres-requis dam une implantation-conforme sont dfinisgar-limplantation. Note : I1 y a des conditions requises de conformit6 associks au jeu-de-caractres-requis. Une implantatio

29、n-conforme doit publier, dans la documentation requise, une table de correspondance entre Ies symboles graphiques de la Table 1 et le vecteur-atomique. La correspondance entre les symboles utilises dam la prksente Norm Internationale et ceux fournis par Iimplantation devra kgalement point-virgule u

30、sabot infkrieur c sabot gauche 3 sabot droit n sabot supkrieur R sabot supkrieur-joker / barre oblique barre oblique inverse f barre oblique-tiret * 6toile I barre verticale r plafond I taquet infirieur 2 taquet infirieur-joker I- taquet gauche i taquet droit T taquet supeneur T taquet supkrieur-jok

31、er - tilde - souligne w omkga barre oblique inverse-tiret plancher Les noms de la TABLE 1 ne font pas partie de la prksente Nonne Internationale. IS0 8485 : 1989 (F) 5.2 Nornbres Ensemble-des-Nombres : Un ensemble fini dkfinigar-1 implantation utilis6 pour representer les Nombre : Un 616rnent de len

32、sembie-des-nombres. quanti tks arithmetiques. Note : ensemble-des-nombres est UE concept utilis6 dans ce document pour reprdsenter es quantids arithmktiques flottantes dun ordinateur arbhaire. 5.2.1 Opkrations Elemen taires Op6ration-El6mentaire : LUR des quatre algorithmes-dimplantation suivants :

33、APIus B Note : Plus effectue laddition A Moins B Note : Moins effectue la soustraction A Multiplikgar B Note : Multiplie2ar effectue la multiplication Note : Divis4jar effectue la division Note : Chaque opration-lmentaire est une projection du produit cartksien de iensernble-des-nombres avec lui-mEm

34、e sur iunion de ensemble-des-nornbres et de la m6taclasse erreur dBcrite dans le sous-paragraphe aigorithmes-dimplantation. On admettra que les 61Cments de la rnktadasse erreur sont obtenus par les op cest le cas, par exemple, de UIl diviSe_par z rentier-reprksentable le plus grand est, typiquement,

35、 une puissance de la base du systhe de numkration. Un nombre donn6, come un entier-representable, peut aussi avoir plusieurs reprksentations internes. Except6 par leur effet sur Ies ressources du systhe, il ne devrait pas Ctre possible pour un prOgramme-COXlfOrme ddtablir une distinction entre ces d

36、iffkrentes repr6sentations. 15 IS0 8485 : 1989 (e 5.2.4 Algorithmes dhplantation Un algorithme-dimplantation est un algoitfime utili sinon, lintervalle-ouvert-entre B et A Intervalle-Fermk-Entre A et E3 : Une ogration qui, pour tous les nornbres A et By donne cornme resultat un sous-ensemble des nom

37、bres comprenant A, B ainsi que lintervalle-ouvert-entre A et B- Voisinage-a-Gauche de A determinegar B : Une opkration qui, pour tous les nombres A et B, donne comme risulrat lintervalle - ferrn6 - entre A et A moins la valeur - absolue de (A multipli6jar B). Distance-Entre A et B : Une operation qu

38、i, pour deux nombres quelconques A et B, donne comme resultat la valeur - absolue de A moins E. A est kgal a la I tolerancejres-a By dans-la-limite C : Une opdration qui, ktmt donnes trois nombres A, B et C, donne comme r6sultat un boolken Z, tel que : Si A 6gale B, 2 est igal B un. Si le signe de A

39、 nest pas kgal au signe de B, 2 est 6gal a ziro. Si la valeur-absolue de B est supbrieure-a celle de 4 et si la valeur-absolue de A est situ. multiplikgar le produit-du-reste de L. 19 IS0 8485 : 1989 (F) 5.3.2 Tableaux Type - dun-Tableau : Un ensemble difini en extension contenant les Wrnents caract

40、kre et numerique. Tableau : Un objet ayant les attributs suivants : Liste - des dimensions : Une liste dentiers-non-ndgatifs-repr6sentables. Liste-lin si A est de type liste - des-dimensions de A numkrique, la liste - linkaris6e de A est une liste de nombres. Rang-de A : Une operation qui, pour tout

41、 tableau ou tableau-de-vecteurs A, donne come resultat le Scalaire : Un tableau dont le rang est zko. nombre-ditems dans la liste-des-dimensions de A Scalaire Numerique de valeur I: Pour tout nornbre I, le scalaire 2 tel que le type de 2 soit num2rique et que la liste-linkarisbe de 2 soit la liste L

42、, telle que le nombre-diterns dam L soit un et que le premier-item de fi soit I. Nombre dEldments de A : Pour tout tableau A, le produit-des dkrnents de la liste-des-dimensions de A- Vecteur : Un tableau dont le rang est un. Longueur de A : Pour tout vecteur A, le nombre-dklkments de A Element - Typ

43、ique de A : Pour tout tableau A, sil est de type caractere, le caractere blanc ; sil est de type numerique, zero. Vide : Se dit dun tableau dont le nombre-delements est zero. Vecteur-a-Un-El6ment : Un vecteur A est un vecteur-a-un-616rnent si la longueur de A est un. Kest un Axe-Valide de A : Une op

44、&ation qui, pour les tableaux A et K, donne come rksultat un si K est un scalaire ou un vecteur-a-un-el6ment et si le premier-item de la liste linearisee K est un quasi-entier, dont lentier le_plus_proche est un klbment de lensembldes-indices de la liste-des-dimensions de A rcette operation donne co

45、mme risultat z6ro sinon. Axe K de A : Une opkration qui, pour un tableau A et un axe-valide K de A, donne comme rksultat litem Kdu vectenr-des-dimensions de A Tableau - de Vecteurs : Un objet possedant les attributs suivants : Lis te - des dimensions : Une list e d en t ier s-non-n6ga t i fs-r ep re

46、sentables. Liste-Linearis& : Une liste dont les items sont des vecteurs, tous du m&me type. Type : Un Urnent de lensemble dkfini en extension : type-de-tableau, cest-&dire le type des items de la liste - lin4arisCe. Selon Axe K de A: Une opthation qui, pour un tableau A de rang non nul N, produit 2,

47、 un tz&leau-de-vecteurs de rang N -1 tel que la liste-des-dimensions de Z soit la liste-des-dimensions de A, litem K &ant omis. Chaque item de la liste-lin&arisiie de 2 est un vecteur dont la longueur est identique ?i laxe Kde A Note : Quelques ogrations sur les vecteurs s6tendent aux tableaux de ra

48、ng sup5riwr, de la meme mani&re que 1extenSiOn SCalail-e. SelOn-laXe est un moyen de prksentation utilis6 dam la dkfinition de ces op6rationns. Item-Vectoriel 1 de A : Une olkration qui, pour un tableau-de-vecteurs A, donne comme r6suItat - litem 1: de la liste-linkarisde de A 20 IS0 8485 : 1989 (F)

49、 Lin6arisation-Selon-lAxe K de A : Une operation qui, pour un tableau A de rang non nul N, pruduit un tableau-de-vecteurs 2, tel que la liste-des-dimensions de Z soit le produit-de la liste-des-dimensions de A, litern K &ant omis, et que la liste-liniariske 2 soit la liste - linkariske - don-laxe K de A Premier-Scalaire de A : Une operation qui, pour un tableau non-vide A, donne cornme resultat un scalaire 2, tel que le type de 2 soit identique 2 celui de A, et que la Iiste-