Projet Lande

Précédent : Diffusion des résultats Remonter : Projet LANDE, Conception et validation

Références

Ouvrages et articles de référence de l'équipe

1

J.-P. BANÂTRE, D. LE MÉTAYER,
« Programming by multiset transformation »,
Communications of the ACM 36 , 1, 1993, p. 98-111.

2

Y. BEKKERS, O. RIDOUX, L. UNGARO,
« Dynamic Memory Management for Sequential Logic Programming Languages »,
in: Int. Workshop on Memory Management, LNCS 637 , Y. Bekkers, J. Cohen (réd.), Springer-Verlag, p. 82-102,
1992.

3

C. BELLEANNÉE, P. BRISSET, O. RIDOUX,
« Une reconstruction pragmatique de $\lambda$Prolog »,
Technique et Science Informatiques, Hermès 14 , 9, 1995, p. 1131-1164.

4

S. COUPET-GRIMAL, O. RIDOUX,
« On the Use of Advanced Logic Programming Languages in Computational Linguistics »,
J. Logic Programming 24 , 1&2, 1995, p. 121-159.

5

M. DUCASSÉ, J. NOYÉ,
« Logic Programming Environments: Dynamic program analysis and debugging »,
The Journal of Logic Programming 19/20 , mai/juillet 1994, p. 351-384,
aussi Publication Interne Irisa PI910.

6

P. FRADET, D. LE MÉTAYER,
« Compilation of functional languages by program transformation »,
ACM Transactions on Programming Languages and Systems 13 , 1, 1991, p. 21-51.

7

T. JENSEN,
« Strictness Analysis in Logical Form »,
in: Proc. of 5th ACM Conference on Functional Programming Languages and Computer Architecture , J. Hughes (réd.), LNCS vol. 523 , Springer, p. 352-366,
1991.

8

D. LE MÉTAYER,
« Software architecture styles as graph grammars »,
in: Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering ,
octobre 1996.

Livres et monographies

9

D. GARLAN, D. LE MÉTAYER (EDS),
Proceedings of the Second International Conference on Coordination Languages and Models ,
Springer Verlag, LNCS 1282, septembre 1997.

Thèses et habilitations à diriger des recherches

10

R. GAUGNE,
Techniques d'analyse statique pour l'aide à la mise au point de programmes avec manipulation explicite de pointeurs ,
thèse de doctorat, Université de Rennes 1, 1997.

11

V. GOURANTON,
Dérivation d'analyseurs dynamiques et statiques à partir de spécifications opérationnelles ,
thèse de doctorat, Université de Rennes 1, 1997.

Articles

12

R. DOUENCE, P. FRADET,
« A systematic study of functional language implementations »,
ACM Transactions on Programming Languages and Systems , 1998,
à paraître.

13

M. DUCASSÉ,
« Opium: An extendable trace analyser for Prolog »,
The Journal of Logic Programming , 1997,
à paraître dans ``special issue on Synthesis, Transformation and Analysis of Logic Programs, A. Bossi and Y. Deville (eds)'', aussi Rapport Technique Inria 3257, Publication Interne Irisa 1127.

14

P. FRADET, D. LE MéTAYER,
« Structured Gamma »,
Science of Computer Programming , 1997.

15

C. HANKIN, D. LE MÉTAYER, D. SANDS,
« Refining multiset transformers »,
Theoretical Computer Science , 1997.

16

T. JENSEN,
« Disjunctive Program Analysis for Algebraic Data Types »,
ACM Transactions on Programming Languages and Systems 19 , 5, 1997, p. 752-804.

17

D. LE MÉTAYER,
« Program analysis for software engineering: new applications, new requirements, new tools »,
ACM Sigplan Notices , 1, janvier 1997, p. 86-88.

18

T. THORN,
« Programming languages for mobile code »,
ACM Computing Surveys , 1997.

Communications à des manifestations scientifiques

19

P. FRADET, D. LE MÉTAYER,
« Shape types »,
in: Proceedings of the 24th ACM Symposium on Principles of Programming Languages ,
janvier 1997.

20

R. GAUGNE,
« A static analysis for program understanding and debugging (short paper) »,
in: Proceedings of the Conference on Automated Software Engineering , IEEE,
novembre 1997.

21

V. GOURANTON, D. LE MÉTAYER,
« Formal development of static program analysers »,
in: Proceedings of the 8th IEEE Israeli Conference on Computer Systems and Software Engineering , IEEE, p. 101-110,
juin 1997.

22

V. GOURANTON,
« Un cadre générique de définition d'analyseurs dynamiques et statiques »,
in: Actes des journées du GDR Programmation ,
novembre 1997.

23

A. A. HOLZBACHER, M. PÉRIN, M. SüDHOLT,
« Modeling railway control systems using graph grammars: a case study »,
in: Proceedings of the Second International Conference on Coordination Languages and Models , LNCS , 1282 , p. 172-186,
Berlin, septembre 1997.

24

T. JENSEN,
« Inference of polymorphic and conditional strictness properties »,
in: Proceedings of 25th ACM Symposium on Principles of Programming Languages , ACM Press,
1998.

25

S. MALLET, M. DUCASSÉ,
« DDB Trees: A basis for deductive database explanations »,
in: Proceedings of the 3rd Workshop on Automated and Algorithmic Debugging , M. Kamkar (réd.), Linköping University Electronic Press, f-cis.linep.se-97-009, p. 87-102,
May 1997.

26

S. MALLET, M. DUCASSÉ,
« Generating DDB trees »,
in: Proceedings of the 8th Workshop on Logic Programming Environments, In conjunction with the International Conference on Logic Programming ,
1997.

27

S. MALLET, M. DUCASSÉ,
« An Informal Presentation of DDB Trees: A Basis for Deductive Database Explanations »,
in: DDLP'97, Fifth International Workshop on Deductive Databases and Logic Programming , U. Geske (réd.), GMD-Studien Nr. 317, ISBN 3-88457-317-9,
July 1997.

28

P. PEPPER, M. SüDHOLT,
« Deriving Parallel Numerical Algorithms using Data Distribution Algebras: Wang's Algorithm »,
in: Proceedings of the 30th Hawaii International Conference on System Sciences , IEEE,
janvier 1997.

29

M. SüDHOLT, C. PIEPENBROCK, K. OBERMAYER, P. PEPPER,
« Solving large systems of differential equations using Data Distribution Algebras »,
in: Proceedings of the IFIP TC 2 Working Conference on Algorithmic Languages and Calculi , Chapman & Hall,
février 1997.

30

L. VAN AERTRYCK, M. BENVENISTE, D. LE MÉTAYER,
« Casting: a formally based software test generation method »,
in: Proceedings of the first IEEE International Conference on Formal Engineering Methods , IEEE ,
Hiroshima, novembre 1997.

31

L. VAN AERTRYCK, M. BENVENISTE, D. LE MÉTAYER,
« Casting: une méthode formelle pour la génération de tests »,
in: Actes des journées AFADL (Approches Formelles dans l'Assistance du Développement de Logiciels ,
mai 1997.

Rapports de recherche

32

R. GAUGNE,
« Static debugging of C programs: detection of pointer errors in recursive data structures »,
rapport de recherche RR-3232, Inria, août 1997.

33

A. A. HOLZBACHER, M. PÉRIN, M. SüDHOLT,
« Modeling railway control systems using graph grammars: a case study »,
rapport de recherche No3210, Inria, Rennes, France, juillet 1997.

34

T. JENSEN, D. LE MÉTAYER, T. THORN,
« Security and dynamic class loading in Java: a formalisation »,
rapport de recherche PI-1137, Irisa, octobre 1997.

Bibliographie générale

Abr96

R. Abrial.
The B-Book: Assigning programs to meanings.
Cambridge University Press, 1996.

AH87

S. Abramsky and C. Hankin.
Abstract Interpretation of Declarative Languages.
Ellis Horwood, 1987.

ANS

Ansi/ieee standard 729-1983.
Glossary of Software Engineering Terminology.

Bei90

B. Beizer.
Software testing techniques, volume 2nd ed.
International Thomson Computer Press, 1990.

BGL93

B. Bruegge, T. Gottschalk, and B. Luo.
A framework for dynamic program analyzers.
In Proc. of the OOPSLA'93 Conference, pages 65-82, 1993.

BR93

P. Brisset and O. Ridoux.
Continuations in $\lambda$Prolog.
In D.S. Warren, editor, 10th Int. Conf. Logic Programming, pages 27-43. MIT Press, 1993.

Cou97

P. Cousot.
Abstract interpretation based static analysis parameterized by semantics.
In P. Van Hentenryck, editor, Proc. of 4th Static Analysis Symposium, pages 388-394. Springer Verlag, LNCS vol. 1302, 1997.

Kah87

G. Kahn.
Natural semantics.
In Proceedings of STACS'87, LNCS 247, pages 22-39. Springer Verlag, 1987.

NN92

H. R. Nielson and F. Nielson.
Semantics with applications.
John Wiley & Sons, INC., 1992.

Rid91

O. Ridoux.
MALIv06: Tutorial and reference manual.
Publication Interne 611, Irisa, 1991.
ftp://ftp.irisa.fr/local/lande/or-tr-irisa611-91.ps.Z.

Ros84

J.B. Rosser.
Highlights of the history of the lambda-calculus.
Annals of the History of Computing, 6(4), 1984.

Ros96

J.B. Rosenberg.
How debuggers work.
Wiley Computer Publishing. John Wiley & Sons, INC., 1996.
ISBN 0-471-14966-7.

Sch86

D.A. Schmidt.
Denotational Semantics.
Allyn & Bacon, 1986.

SHC96

Z. Somogyi, F. Henderson, and T. Conway.
The execution algorithm of Mercury, an efficient purely declarative logic programming language.
Journal of logic Programming, 29:17-64, October-December 1996.

XMd$^{+}$94

S. Xantakis, M. Maurice, A. de Amescua, O. Houri, and L. Griffet.
Test et contrôle des logiciels. Méthodes techniques et outils.
EC2, 1994.