Construction, évaluation et amélioration systématiques de structures de données
Identifieur interne : 000168 ( Istex/Corpus ); précédent : 000167; suivant : 000169Construction, évaluation et amélioration systématiques de structures de données
Auteurs : Jean-Luc RémySource :
- RAIRO. Informatique théorique [ 0399-0540 ] ; 2017-02-01.
Url:
DOI: 10.1051/ita/1980140100831
Links to Exploration step
ISTEX:07D09AA061FEBAF7B65560027AAA03C52FFB9626Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="fr">Construction, évaluation et amélioration systématiques de structures de données</title><author><name sortKey="Remy, Jean Luc" sort="Remy, Jean Luc" uniqKey="Remy J" first="Jean-Luc" last="Rémy">Jean-Luc Rémy</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:07D09AA061FEBAF7B65560027AAA03C52FFB9626</idno><date when="1980" year="1980">1980</date><idno type="doi">10.1051/ita/1980140100831</idno><idno type="url">https://api.istex.fr/ark:/67375/80W-5RWLNGZD-W/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000168</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000168</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="fr">Construction, évaluation et amélioration systématiques de structures de données</title><author><name sortKey="Remy, Jean Luc" sort="Remy, Jean Luc" uniqKey="Remy J" first="Jean-Luc" last="Rémy">Jean-Luc Rémy</name></author></analytic><monogr></monogr><series><title level="j" type="main">RAIRO. Informatique théorique</title><title level="j" type="abbrev">RAIRO. Inform. théor.</title><title level="j" type="publisher-id">ita</title><title level="j" type="eudml-id">urn:eudml:journal:10051</title><title level="j" type="numdam-id">ITA</title><idno type="ISSN">0399-0540</idno><imprint><publisher>EDP Sciences</publisher><date type="Final-Published" when="2017-02-01">2017-02-01</date><date type="ePublished" when="2011-01-08">2011-01-08</date><date type="Published" when="1980">1980</date><biblScope unit="vol">14</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="83">83</biblScope><biblScope unit="page" to="118">118</biblScope><biblScope unit="page-count">37</biblScope></imprint><idno type="ISSN">0399-0540</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0399-0540</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader></TEI><istex><corpusName>edp-sciences</corpusName><author><json:item><name>Jean-Luc Rémy</name></json:item></author><arkIstex>ark:/67375/80W-5RWLNGZD-W</arkIstex><language><json:string>fre</json:string></language><originalGenre><json:string>research-article</json:string></originalGenre><qualityIndicators><score>7.012</score><pdfWordCount>11042</pdfWordCount><pdfCharCount>56450</pdfCharCount><pdfVersion>1.4</pdfVersion><pdfPageCount>37</pdfPageCount><pdfPageSize>467.716 x 680.315 pts</pdfPageSize><refBibsNative>true</refBibsNative><abstractWordCount>1</abstractWordCount><abstractCharCount>0</abstractCharCount><keywordCount>0</keywordCount></qualityIndicators><title>Construction, évaluation et amélioration systématiques de structures de données</title><genre><json:string>research-article</json:string></genre><host><title>RAIRO. Informatique théorique</title><language><json:string>unknown</json:string></language><issn><json:string>0399-0540</json:string></issn><publisherId><json:string>ita</json:string></publisherId><volume>14</volume><issue>1</issue><pages><first>83</first><last>118</last><total>37</total></pages><genre><json:string>journal</json:string></genre></host><ark><json:string>ark:/67375/80W-5RWLNGZD-W</json:string></ark><publicationDate>1980</publicationDate><copyrightDate>1980</copyrightDate><doi><json:string>10.1051/ita/1980140100831</json:string></doi><id>07D09AA061FEBAF7B65560027AAA03C52FFB9626</id><score>1</score><fulltext><json:item><extension>pdf</extension><original>true</original><mimetype>application/pdf</mimetype><uri>https://api.istex.fr/ark:/67375/80W-5RWLNGZD-W/fulltext.pdf</uri></json:item><json:item><extension>zip</extension><original>false</original><mimetype>application/zip</mimetype><uri>https://api.istex.fr/ark:/67375/80W-5RWLNGZD-W/bundle.zip</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/ark:/67375/80W-5RWLNGZD-W/fulltext.tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main">Construction, évaluation et amélioration systématiques de structures de données</title></titleStmt><publicationStmt><authority>ISTEX</authority><publisher>EDP Sciences</publisher><date when="1980">1980</date><availability><licence>© AFCET 1980</licence><p>AFCET</p></availability></publicationStmt><notesStmt><note type="content-type" source="research-article" scheme="https://content-type.data.istex.fr/ark:/67375/XTP-7474895G-0">research-article</note><note type="publication-type" scheme="https://publication-type.data.istex.fr/ark:/67375/JMC-0GLKJH51-B">journal</note></notesStmt><sourceDesc><biblStruct type="article"><analytic><title level="a" type="main" xml:lang="fr">Construction, évaluation et amélioration systématiques de structures de données</title><author xml:id="author-0000"><persName><surname>Rémy</surname><forename type="first">Jean-Luc</forename></persName></author><idno type="istex">07D09AA061FEBAF7B65560027AAA03C52FFB9626</idno><idno type="ark">ark:/67375/80W-5RWLNGZD-W</idno><idno type="DOI">10.1051/ita/1980140100831</idno><idno type="publisher-id">ita1980140100831</idno><idno type="art-access-id">ITA_1980__14_1_83_0</idno></analytic><monogr><title level="j" type="main">RAIRO. Informatique théorique</title><title level="j" type="abbrev">RAIRO. Inform. théor.</title><title level="j" type="publisher-id">ita</title><title level="j" type="eudml-id">urn:eudml:journal:10051</title><title level="j" type="numdam-id">ITA</title><idno type="pISSN">0399-0540</idno><imprint><publisher>EDP Sciences</publisher><date type="Final-Published" when="2017-02-01"></date><date type="ePublished" when="2011-01-08"></date><date type="Published" when="1980"></date><biblScope unit="vol">14</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="83">83</biblScope><biblScope unit="page" to="118">118</biblScope><biblScope unit="page-count">37</biblScope></imprint></monogr></biblStruct></sourceDesc></fileDesc><profileDesc><langUsage><language ident="fr"></language></langUsage></profileDesc><revisionDesc></revisionDesc></teiHeader></istex:fulltextTEI><json:item><extension>txt</extension><original>false</original><mimetype>text/plain</mimetype><uri>https://api.istex.fr/ark:/67375/80W-5RWLNGZD-W/fulltext.txt</uri></json:item></fulltext><metadata><istex:metadataXml wicri:clean="corpus edp-sciences not found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration><istex:docType PUBLIC="-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.0 20120330//EN" URI="JATS-journalpublishing1.dtd" name="istex:docType"></istex:docType><istex:document><article article-type="research-article" dtd-version="1.0" xml:lang="fr"><front><journal-meta><journal-id journal-id-type="publisher-id">ita</journal-id><journal-id journal-id-type="eudml-id">urn:eudml:journal:10051</journal-id><journal-id journal-id-type="numdam-id">ITA</journal-id><journal-title-group><!--Mettre un . ou un - après RAIRO --><!--R.A.I.R.O. Informatique théorique/Theoretical Computer Science ==> idline dans les pdf --><journal-title>RAIRO. Informatique théorique</journal-title><abbrev-journal-title abbrev-type="publisher">RAIRO. Inform. théor.</abbrev-journal-title> <!--Dans bnf--></journal-title-group><issn pub-type="ppub">0399-0540</issn><publisher><publisher-name>EDP Sciences</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.1051/ita/1980140100831</article-id><article-id pub-id-type="publisher-id">ita1980140100831</article-id><article-id pub-id-type="art-access-id">ITA_1980__14_1_83_0</article-id><title-group><article-title xml:lang="fr">Construction, évaluation et amélioration systématiques de structures de données</article-title></title-group><contrib-group content-type="authors"><contrib contrib-type="author"><name><surname>Rémy</surname><given-names>Jean-Luc</given-names></name></contrib></contrib-group><pub-date pub-type="final"><day>01</day><month>02</month><year>2017</year></pub-date><pub-date pub-type="epub"><day>08</day><month>01</month><year>2011</year></pub-date><pub-date pub-type="ppub"><year>1980</year></pub-date><volume>14</volume><issue>1</issue><issue-id pub-id-type="publisher-id">ita/1980/01</issue-id><fpage>83</fpage><lpage>118</lpage><ext-link ext-link-type="zbl-item-id" xlink:href="http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0434.68050">0434.68050</ext-link><history><date date-type="digitisation"><day>01</day><month>04</month><year>2009</year></date><date date-type="metadata-creation"><day>08</day><month>01</month><year>2011</year></date></history><permissions><copyright-statement>© AFCET 1980</copyright-statement><copyright-year>1980</copyright-year><copyright-holder>AFCET</copyright-holder></permissions><self-uri xlink:href="http://www.numdam.org/item?id=ITA_1980__14_1_83_0">Access to full text</self-uri><self-uri content-type="application/pdf" xlink:href="http://archive.numdam.org/article/ITA_1980__14_1_83_0.pdf">Full (PDF)</self-uri><counts><page-count count="37"></page-count></counts><custom-meta-group><custom-meta><meta-name>article origin</meta-name><meta-value>archive</meta-value></custom-meta><custom-meta><meta-name>archive provider</meta-name><meta-value>numdam</meta-value></custom-meta><custom-meta><meta-name>idline</meta-name><meta-value>RAIRO. Inform. théor. 14 (1980) 83-118</meta-value></custom-meta><custom-meta><meta-name>cover_date</meta-name><meta-value>1980</meta-value></custom-meta><custom-meta><meta-name>first_year</meta-name><meta-value>1980</meta-value></custom-meta><custom-meta><meta-name>last_year</meta-name><meta-value>1980</meta-value></custom-meta></custom-meta-group></article-meta></front><back><ref-list><ref id="R1"><mixed-citation publication-type="other">1. <string-name><given-names>G. M.</given-names><surname>ADEL'SON-VEL'SKII</surname></string-name> et <string-name><given-names>Y. M.</given-names><surname>LANDIS</surname></string-name>, <article-title>An Algorithm for the Organization of Information</article-title>; Soviet Math. Dokl., vol. 3, <year>1962</year>, p. 1259-1262.</mixed-citation></ref><ref id="R2"><mixed-citation publication-type="other">
2. <string-name><given-names>A. V.</given-names><surname>AHO</surname></string-name>, <string-name><given-names>J. E.</given-names><surname>HOPCROFT</surname></string-name> et <string-name><given-names>J. D.</given-names><surname>ULLMAN</surname></string-name>, <article-title>The Design and Analysis of Algorithms</article-title>, Addison-Wesley, Reading, Mass., <year>1974</year>.<ext-link ext-link-type="zbl-item-id" xlink:href="http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0326.68005">0326.68005</ext-link></mixed-citation></ref><ref id="R3"><mixed-citation publication-type="other">
3. <string-name><given-names>J.</given-names><surname>ARSAC</surname></string-name>, <article-title>La construction de programmes structurés</article-title>, Dunod, Paris. <year>1977</year>.<ext-link ext-link-type="zbl-item-id" xlink:href="http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0451.68014">0451.68014</ext-link></mixed-citation></ref><ref id="R4"><mixed-citation publication-type="other">
4. <string-name><given-names>E. A.</given-names><surname>ASHCROFT</surname></string-name> et <string-name><given-names>W. W.</given-names><surname>WADGE</surname></string-name>, <article-title>Lucid, a Nonprocedural Language with Iteration</article-title>, Comm. A. C. M., vol. 20, n° 7, <year>1977</year>, p. 519-526.<ext-link ext-link-type="mr-item-id" xlink:href="http://www.ams.org/mathscinet-getitem?mr=474941">474941</ext-link><ext-link ext-link-type="zbl-item-id" xlink:href="http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0358.68033">0358.68033</ext-link></mixed-citation></ref><ref id="R5"><mixed-citation publication-type="other">5. <string-name><given-names>F. L.</given-names><surname>BAUER</surname></string-name> et <string-name><given-names>H.</given-names><surname>WOSSNER</surname></string-name>, <article-title>Algorithmic Language and Program Development</article-title>, Prentice Hall International, London, <year>1979</year>.</mixed-citation></ref><ref id="R6"><mixed-citation publication-type="other">
6. <string-name><given-names>F.</given-names><surname>BELLEGARDE</surname></string-name> et al., <string-name><surname>MEDEE</surname></string-name>, <article-title>A Type of Language for the Deductive Programming Method</article-title>, Conference on Reliable Software, German A. C. M. Chapter, Bonn, <year>1978</year>.<ext-link ext-link-type="zbl-item-id" xlink:href="http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0408.68014">0408.68014</ext-link></mixed-citation></ref><ref id="R7"><mixed-citation publication-type="other">
7. <string-name><given-names>R. M.</given-names><surname>BURSTALL</surname></string-name> et <string-name><given-names>J.</given-names><surname>DARLINGTON</surname></string-name>, <article-title>A Transformation System for Developing Recursive Programs</article-title>, J. A.C.M., vol. 24, <year>1977</year>, p. 44-67.<ext-link ext-link-type="mr-item-id" xlink:href="http://www.ams.org/mathscinet-getitem?mr=451816">451816</ext-link><ext-link ext-link-type="zbl-item-id" xlink:href="http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0343.68014">0343.68014</ext-link></mixed-citation></ref><ref id="R8"><mixed-citation publication-type="other">8. <string-name><given-names>R. M.</given-names><surname>BURSTALL</surname></string-name> et <string-name><given-names>J. A.</given-names><surname>GOGUEN</surname></string-name>, <article-title>Putting Theories Together to Make Specifications</article-title>, Proc. of I.F.I.P. Conference, <year>1977</year>, p. 1045-1058.</mixed-citation></ref><ref id="R9"><mixed-citation publication-type="other">9. <string-name><given-names>J.</given-names><surname>DARLINGTON</surname></string-name>, <article-title>Program Transformation and Synthesis: Present Capabilities</article-title>, D.A.I. Research Report n° 48, University of Edinburgh, <year>1977</year>.</mixed-citation></ref><ref id="R10"><mixed-citation publication-type="other">
10. <string-name><given-names>J.</given-names><surname>DARLINGTON</surname></string-name>, <article-title>Program Transformation Involving Unfree Data Structures: an Example</article-title>, 3e Coll. Int. sur la programmation, Dunod, Paris, <year>1978</year>, p. 203-217.<ext-link ext-link-type="mr-item-id" xlink:href="http://www.ams.org/mathscinet-getitem?mr=518771">518771</ext-link><ext-link ext-link-type="zbl-item-id" xlink:href="http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0405.68017">0405.68017</ext-link></mixed-citation></ref><ref id="R11"><mixed-citation publication-type="other">11. <string-name><given-names>M.</given-names><surname>FEATHER</surname></string-name>, <article-title>« ZAP » Program Transformation System, Primer and Users' Manual</article-title>, D.A.I. Research Report n° 54, University of Edinburgh, <year>1978</year>.</mixed-citation></ref><ref id="R12"><mixed-citation publication-type="other">
12. <string-name><given-names>J. P.</given-names><surname>FINANCE</surname></string-name>, <article-title>Une formulation de la Sémantique des langages de programmation</article-title>, R.A.I.R.O., vol. 10, Paris, <year>1976</year>, p. 8-12.<ext-link ext-link-type="eudml-item-id" xlink:href="http://eudml.org/doc/92038">92038</ext-link><ext-link ext-link-type="zbl-item-id" xlink:href="http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0356.68025">0356.68025</ext-link><ext-link ext-link-type="mr-item-id" xlink:href="http://www.ams.org/mathscinet-getitem?mr=423858">423858</ext-link></mixed-citation></ref><ref id="R13"><mixed-citation publication-type="other">13. <string-name><given-names>J. P.</given-names><surname>FINANCE</surname></string-name>, <article-title>De la spécification abstraite d'une donnée à sa représentation en mémoire</article-title>, Théorie et techniques de l'Informatique, actes de Congrès de l'A.F.C.E.T., t. 1, <year>1978</year>, Hommes et Techniques, Paris.</mixed-citation></ref><ref id="R14"><mixed-citation publication-type="other">
14. <string-name><given-names>M. C.</given-names><surname>GAUDEL</surname></string-name>, <article-title>A Formal Approach to Translation Specification</article-title>, Information Processing <year>1977</year>, B. GILCHRIST, éd., North Holland, Amsterdam, <year>1977 </year>, p. 123-129.<ext-link ext-link-type="zbl-item-id" xlink:href="http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0363.68002">0363.68002</ext-link></mixed-citation></ref><ref id="R15"><mixed-citation publication-type="other">15. <string-name><given-names>M. C.</given-names><surname>GAUDEL</surname></string-name> et <string-name><given-names>G.</given-names><surname>TERRINE</surname></string-name>, <article-title>Synthèse de la représentation d'un type abstrait par des types concrets</article-title>, Théorie et Techniques de l'Informatique, actes du Congrès de l'A.F.C.E.T., t. 1, <year>1978</year>, Hommes et Techniques, Paris.</mixed-citation></ref><ref id="R16"><mixed-citation publication-type="other">16. <string-name><given-names>J. A.</given-names><surname>GOGUEN</surname></string-name>, <string-name><given-names>J. W.</given-names><surname>HATCHER</surname></string-name>, <string-name><given-names>E. G.</given-names><surname>WAGNER</surname></string-name> et <string-name><given-names>J. B.</given-names><surname>WRIGHT</surname></string-name>, <article-title>Abstract Data Types as Initial Algebras and the Correctness of Data Representations</article-title>, Proc. Conf. on Computer Graphics, Pattern Recognition and Data Structure, mai <year>1975</year>.</mixed-citation></ref><ref id="R17"><mixed-citation publication-type="other">17. <string-name><given-names>J. V.</given-names><surname>GUTTAG</surname></string-name>, <string-name><given-names>E.</given-names><surname>HOROWITZ</surname></string-name> et <string-name><given-names>D. R.</given-names><surname>MUSSER</surname></string-name>, <article-title>The Design of Data Type Specifications</article-title>, in Current Trends in Programming Methodology, IV, Data Structuring, R. T. YEH, éd., Prentice-Hall, Engl. Cliffs, New Jersey, <year>1978</year>.</mixed-citation></ref><ref id="R18"><mixed-citation publication-type="other">
18. <string-name><given-names>C. B.</given-names><surname>JONES</surname></string-name>, <article-title>Constructing a Theory of a Data Structure as an Aid to Program Development</article-title>, Acta Informatica, vol. 11, <year>1979</year>, p. 119-128.<ext-link ext-link-type="zbl-item-id" xlink:href="http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0382.68029">0382.68029</ext-link></mixed-citation></ref><ref id="R19"><mixed-citation publication-type="other">
19. <string-name><given-names>D. E.</given-names><surname>KNUTH</surname></string-name>, <article-title>The Art of Computer Programming, 3. Sorting and Searching</article-title>, Addison-Wesley, Reading, Mass., <year>1973</year>.<ext-link ext-link-type="mr-item-id" xlink:href="http://www.ams.org/mathscinet-getitem?mr=378456">378456</ext-link><ext-link ext-link-type="zbl-item-id" xlink:href="http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0302.68010">0302.68010</ext-link></mixed-citation></ref><ref id="R20"><mixed-citation publication-type="other">20. <string-name><given-names>P.</given-names><surname>LESCANNE</surname></string-name>, <article-title>Un calcul relationnel pour les structures de données</article-title>, Rapport 76-R-029, Centre de Recherche en Informatique de Nancy, Nancy, <year>1976</year>.</mixed-citation></ref><ref id="R21"><mixed-citation publication-type="other">21. <string-name><given-names>P.</given-names><surname>LESCANNE</surname></string-name>, <article-title>Étude algébrique et relationnelle des représentations de types abstraits</article-title>, thèse d'état, Nancy, <year>1979</year>.</mixed-citation></ref><ref id="R22"><mixed-citation publication-type="other">22. <string-name><given-names>B.</given-names><surname>LISKOV</surname></string-name> et <string-name><given-names>S.</given-names><surname>ZILLES</surname></string-name>, <article-title>Programming with Abstract Data Types</article-title>, SIGPLAN, Notices, vol. 9, n° 4, <year>1974</year>.</mixed-citation></ref><ref id="R23"><mixed-citation publication-type="other">
23. <string-name><given-names>Z.</given-names><surname>MANNA</surname></string-name> et <string-name><given-names>R.</given-names><surname>WALDINGER</surname></string-name>, <article-title>Knowledge and Reasoning in Program Synthesis</article-title>, Artif. Intel. J., vol. 6, <year>1975</year>, p. 175-208.<ext-link ext-link-type="mr-item-id" xlink:href="http://www.ams.org/mathscinet-getitem?mr=378457">378457</ext-link><ext-link ext-link-type="zbl-item-id" xlink:href="http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0303.68012">0303.68012</ext-link></mixed-citation></ref><ref id="R24"><mixed-citation publication-type="other">24. <string-name><given-names>C.</given-names><surname>PAIR</surname></string-name>, <article-title>La construction des programmes</article-title>, Rapport 77-R-019, Centre de Recherche en Informatique de Nancy, Nancy, <year>1977</year>.</mixed-citation></ref><ref id="R25"><mixed-citation publication-type="other">25. <string-name><given-names>C.</given-names><surname>PAIR</surname></string-name> et <string-name><given-names>M. C.</given-names><surname>GAUDEL</surname></string-name>, <article-title>Les structures d'information et leurs représentations</article-title>, I.R.I.A., Rocquencourt, <year>1978</year>.</mixed-citation></ref><ref id="R26"><mixed-citation publication-type="other">26. <string-name><given-names>A.</given-names><surname>QUERE</surname></string-name>, <article-title>Construction de Programmes Itératifs dans le cadre du langage MEDEE</article-title>, Convention Informatique Latine, Barcelone, <year>1979</year>.</mixed-citation></ref><ref id="R27"><mixed-citation publication-type="other">27. <string-name><given-names>J. L.</given-names><surname>RÉMY</surname></string-name>, <article-title>Structures d'Information, formalisation des notions d'accès et de modifications d'une donnée</article-title>, Thèse 3e Cycle, Université de Nancy I, <year>1974</year>.</mixed-citation></ref><ref id="R28"><mixed-citation publication-type="other">28. <string-name><given-names>W. P.</given-names><surname>DE ROEVER</surname></string-name>, <article-title>Operational, Mathematical and Axiomatized Semantics for Recursive Procedures and Data Structures</article-title>, Rapport ID 1/74, Math. Centrum, Amsterdam, <year>1974</year>.</mixed-citation></ref><ref id="R29"><mixed-citation publication-type="other">29. <string-name><given-names>M.</given-names><surname>SINTZOFF</surname></string-name>, <article-title>Inventing Program Construction Rules</article-title>, Rapport 77-R-011, Centre de Recherche en Informatique de Nancy, Nancy, <year>1977</year>; in Constructing Quality Software, P. G. HIBBARD et S. A. SCHUMAN, éd., North-Holland, <year>1978</year>.</mixed-citation></ref></ref-list></back></article></istex:document></istex:metadataXml><mods version="3.6"><titleInfo lang="fr"><title>Construction, évaluation et amélioration systématiques de structures de données</title></titleInfo><titleInfo type="alternative" lang="fr" contentType="CDATA"><title>Construction, évaluation et amélioration systématiques de structures de données</title></titleInfo><name type="personal"><namePart type="given">Jean-Luc</namePart><namePart type="family">Rémy</namePart><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre type="research-article" displayLabel="research-article" authority="ISTEX" authorityURI="https://content-type.data.istex.fr" valueURI="https://content-type.data.istex.fr/ark:/67375/XTP-1JC4F85T-7">research-article</genre><originInfo><publisher>EDP Sciences</publisher><dateIssued encoding="w3cdtf">1980</dateIssued><dateCreated encoding="w3cdtf">2011-01-08</dateCreated><copyrightDate encoding="w3cdtf">1980</copyrightDate></originInfo><language><languageTerm type="code" authority="iso639-2b">fre</languageTerm><languageTerm type="code" authority="rfc3066">fr</languageTerm></language><relatedItem type="host"><titleInfo><title>RAIRO. Informatique théorique</title></titleInfo><genre type="journal" authority="ISTEX" authorityURI="https://publication-type.data.istex.fr" valueURI="https://publication-type.data.istex.fr/ark:/67375/JMC-0GLKJH51-B">journal</genre><identifier type="ISSN">0399-0540</identifier><identifier type="PublisherID">ita</identifier><part><date>1980</date><detail type="volume"><caption>vol.</caption><number>14</number></detail><detail type="issue"><caption>no.</caption><number>1</number></detail><extent unit="pages"><start>83</start><end>118</end><total>37</total></extent></part></relatedItem><identifier type="istex">07D09AA061FEBAF7B65560027AAA03C52FFB9626</identifier><identifier type="ark">ark:/67375/80W-5RWLNGZD-W</identifier><identifier type="DOI">10.1051/ita/1980140100831</identifier><identifier type="publisher-ID">ita1980140100831</identifier><identifier type="art-access-id">ITA_1980__14_1_83_0</identifier><identifier type="URI">Access to full text</identifier><identifier type="href">http://www.numdam.org/item?id=ITA_1980__14_1_83_0</identifier><accessCondition type="use and reproduction" contentType="copyright">© AFCET 1980</accessCondition><recordInfo><recordContentSource authority="ISTEX" authorityURI="https://loaded-corpus.data.istex.fr" valueURI="https://loaded-corpus.data.istex.fr/ark:/67375/XBH-00BJNC61-D">EDP</recordContentSource><recordOrigin>© AFCET 1980</recordOrigin></recordInfo></mods><json:item><extension>json</extension><original>false</original><mimetype>application/json</mimetype><uri>https://api.istex.fr/ark:/67375/80W-5RWLNGZD-W/record.json</uri></json:item></metadata><serie></serie></istex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000168 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 000168 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Istex
|étape= Corpus
|type= RBID
|clé= ISTEX:07D09AA061FEBAF7B65560027AAA03C52FFB9626
|texte= Construction, évaluation et amélioration systématiques de structures de données
}}
| This area was generated with Dilib version V0.6.33. |  |