Articles de recherche

Research Articles

Cette page est en cours de composition.  Je compte y inclure divers articles de recherche que j'ai produits au fil des années, notamment ceux qui ne sont pas librement disponibles dans un format numérique décent. N'ayant jamais reçu le moindre paiement pour ces articles, je résilie ici toute exclusivité de publication ou d'exploitation que j'aurais pu accorder à quiconque, dans ma grande naïveté de chercheur. En conséquence, en ce qui concerne mes droits, ces documents sont disponibles ici sous ma licence LLDDv1, ou la licence CC-by-sa si vous l'estimez plus commode bien qu'elle protège moins bien votre droit d'accès. Cela n'engage pas mes co-auteurs, sauf indication explicite (qui voudrait dire que je leur ai demandé  leur accord, mais probablement pas de façon formelle et contractuelle). En attendant la completion de cette page, voir également la bibliographie du projet ATOLL.

This page is being created. I intend to include various research articles that I produced over the years, especially those that are not otherwise freely available in an acceptable digital format. Since I never received any payment for these articles, I hereby withdraw any exclusivity for any form of publication or exploitation that I may have granted to anyone, due to my scientist naiveness. Therefore, as far as my own rights are concerned, these documents are available here under my own very permissible licence FDDLv1, or the licence CC-by-sa if you find it more convenient though it is less protective of your access rights. This of course cannot include documents that are co-authored, unless indicated otherwise (meaning that I did ask my coauthors, though probably not in a formal contractual way). While this page remains unfinished, see also the ATOLL project bibliography.

Parallel non-deterministic bottom-up parsing, International Symposium on Extensible Languages, Grenoble - Saint-Pierre de Chartreuse, September 1971. Abstract (pdf-img, djvu) published in  the Symposium proceedings, ACM SIGPLAN Notices
Volume 6, Issue 12, December 1971, pp 56-57.(html, pdf). The full report (pdf-img [4.8Mb], djvu [504Kb]) was not published, as the results were generalized in a more formal paper in 1974.

Fast Compactification. Lang Bernard and Wegbreit Ben, Report No. 25-72, Center for Research in Computing Technology, Harvard University, Nov. 1972. - PDF-img [4,7Mo] - to be replaced by a better copy

Deterministic techniques for efficient non-deterministic parsers, Rapport Laboria No. 72, mai 1974, and Proc. 2nd Coll. on Automata, Languages and Programming, Springer Lecture Notes in Computer Science, Vol. 14, juillet-août 1974, ISBN 978-3-540-06841-9, DOI 10.1007/3-540-06841-4, pp. 255-269. - abstract - PDF-img [3.8Mb] - DJVU [520kb] - bibtex

A structure oriented program editor: a first  step  toward
computer  assisted programming. Véronique Donzeau-Gouge, Gilles Kahn, Gérard Huet, Bernard Lang et Jean-Jacques Levy, Proc. International Computing Symposium, North-Holland, Antibes, Juin 1975.

Program Transformations in Classes of Interpretations. Gérard Huet et Bernard Lang, International School on Data and Program Structures, Erice, Trapani, Sicile, May 1976, and Rivista di Informatica, vol VII, suppl. au No 1, Janvier-Mars 1977.

Threshold Evaluation and the Semantics of Call by Value, Assignment and Generic Procedures. Bernard Lang, POPL`77, Fourth ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, Los Angeles, January 1977. Note: The results presented are correct, but the author discovered later that the proof  is inadequate (semantic rather than syntactic).  He developed another proof, hopefully correct but more complex, which has not been published.

Proving and Applying Program Transformations expressed with second-order Patterns. Gérard Huet and Bernard Lang, Rapport Laboria No 266, Novembre 1977, and Acta Informatica, Vol. 11, pp. 31-55, January 1978.

Introduction au système Mentor et à ses applications. Présenté aux Journées Francophones sur la Certification du Logiciel, Genève, 10-11 janvier 1979. Publié dans BIGRE n°15, pp. 11-18, juin 1979.

Programming environments based on structured editors : the Mentor experience. Donzeau-Gouge Véronique, Huet Gérard, Lang Bernard, Kahn Gilles, Rapport INRIA N° RR-0026 (1980). - PDF [1,4Mb] - PS [1,8Mb]

Mentor - Design and Implementation of the Kernel of a Program Manipulation System. Bernard Lang, Proc. Conf. on Integrated Project Support Environments, Univ. of York, org. by Alvey Directorate and Institution of Electrical Engineers April 1985. Published as : Integrated project support environments, John A. McDermid (ed.), Peter Peregrinus Ltd, IEEE Software Engineering Series Vol. 1, ISBN:0-863-41050-2, pp. 175-188, 1986. - pdf - ps - troff/groff - bibtex

On the usefulness of syntax directed editors, Proceedings of an International Workshop on Advanced Programming Environments (Reidar Conradi, Tor M. Didriksen and Dag H. Wanvik ed.), Trondheim, Norway, June 16-18 1986, Springer Lecture Notes in Computer Science, Vol. 244, ISBN 978-3-540-17189-4,  pp. 47-51. - abstract - (pdf-img [2.1Mb], djvu)

The role of Syntax-Directed Programming Environments in Handling Specifications, position statement for the panel "Environments for the Development of Specifications", IFIP Congress '86, Dublin, Irlande, 1-5 September 1986. Proceedings of Information Processing 86, H.-J. Kugler (ed.), Elsevier Science Publishers B.V. (North-Holland), pp. 315-316.

CENTAUR : the system, Borras Patrick, Clement Dominique, Despeyroux Thierry, Incerpi Janet, Kahn Gilles, Lang Bernard, Pascual Valérie, Rapport INRIA N° RR-0777 (1987). - PDF [2Mb] - PS [2,6Mb]

Incremental incrementally compacting garbage collection. Lang Bernard et Dupont Francis, SIGPLAN'87 Symposium on Interpreters and interpretive techniques, Saint-Paul, 1987 - ACM SIGPLAN Notices, Volume 22 , Issue 7 (July 1987), ISSN:0362-1340, pp. 253-263. - PDF image of copy sent to ACM
A variant of this paper with some extensions was included in the November 1987 annual report of the GIPE european projet PDF-img.
A slightly more extended version of the paper was published in Programing Of Future Generation Computers II, Proceedings of the Second Franco-Japanese Symposium, 9-11 Nov. 1987,K. Fuchi and L. Kott (editors) ; pp. 163-182, North-Holland (October 1988).  PDF

Datalog Automata, Bernard Lang, Proc. 3rd Int. Conf. on Data and Knowledge Bases, (C.Berri, J.W.Schmidt, U.Dayal eds.), 28-30 June 1988, Morgan Kaufmann, ISBN 0-93413-95-8, pp.389-404. - PDF - PS - PS.Z

Parsing Incomplete Sentences. Bernard Lang, Proc. 12th Int. Conf. on Computational Linguistics - COLING'88, (Dénes Vargha ed.),B udapest (Hungary), 22-27 August 1988, vol.1, pp. 365-371. - PDF - PS - DVI

Complete evaluation of Horn clauses : an automata theoretic approach, Lang Bernard, Rapport INRIA N° RR-0913 (novembre 1988). - PDF [2,7Mb] - PS [3,5Mb] - BibTeX

The structure of shared forests in ambiguous parsing
Sylvie Billot et Bernard Lang, Proceedings of the Twenty-Seventh Annual Meeting of the Association for Computational Linguistics (ACL), pages 143-151, Vancouver (British Columbia), 26-29 June 1989. - PDF-img (from proceedings) - BibTeX - composed anew from updated TeX : PDF - PS - DVI - LaTeX
Rapport INRIA N° RR-1038 (mai 1989). - PDF [1,2Mb] - PS [1,6Mb]

A Generative View of Ill-Formed Input Processing. Bernard Lang, ATR Symposium on Basic Research for Telephone Interpretation (ASTI), Kyoto (Japon), 11-13 December 1989. - PDF - PS - DVI - LaTeX

The Systematic Construction of Earley Parsers: Application to the Production of O(n⁶ ) Earley Parsers for Tree Adjoining Grammars. Bernard Lang, First International Workshop on Tree Adjoining Grammars: Formal Theory and Applications, pp. 38-57, DFKI, University of Saarbrücken, Dagstuhl Castle (FRG), August 1990. - PDF

Towards a Uniform Formal Framework for Parsing. Bernard Lang, pages 153–171. Kluwer Academic Publishers, 1991. PDF - PS - PS.Z - DVI - BibTeX - TeX sources Note : due to a change in DVI processing (during the past 17 years), the figures in .eps format are no longer made visible by the DVI file. The LaTeX source contains references to figures, but it is old  and requires change before recompiling.

Case Support for the Software Process: Advances and Problems (position paper), ESEC'91, Third European Software Engineering Conference, A. van Lamsweerde, A. Fugetta (eds.), Lecture Notes in Computer Science 550, Springer-Verlag, pp. 512-515, Milan (Italie), Octobre 1991. - PDF - PS - DVI - LaTeX.

Garbage collecting the world. Bernard Lang, Christian Queinnec, and José Piquer, Proc. of POPL'92, Albuquerque (New Mexico), January 1992. - PS - BibTeX

Recognition can be harder then parsing. Bernard Lang, Computational Intelligence - Intelligence Informatique, Volume 10 Issue 4, pages 486 - 494, November 1994. - PDF - PS - DVI - BibTeX

LPDA: Another look at tabulation in logic programming. Éric Villemonte de La Clergerie and Bernard Lang, Proc. of the 11th International Conference on Logic Programming (ICLP'94), Van Hentenryck (ed.), pages 470-486. MIT Press, June 1994. - PS.z - BibTeX 

Morphology based automatic acquisition of large-coverage lexica. Lionel Clément, Benoît Sagot, and Bernard Lang,  Proc. of LREC'04, pages 1841-1844, May 2004. - PDF - BibTeX

Matching with Multiplication and Exponentiation (extended abstract), Math. Struct. in Comp. Science (2005), vol. 15, pp. 959-968, 2005 Cambridge University Press.