 | 1999 |
|---|
| 10 |       | Jean-Pierre Finance:
Fundamental Approaches to Software Engineering, Second Internationsl Conference, FASE'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
Springer 1999 |
| 1992 |
|---|
| 9 |  | Francis Alexandre,
Khaled Bsaïes,
Jean-Pierre Finance,
Alain Quéré:
Spes: A System for Logic Program Transformation.
LPAR 1992: 445-447 |
| 8 | | Guy-René Perrin,
Jean-Pierre Finance:
Communication Relations: A Paradigm for Parallel Program Design.
Sci. Comput. Program. 19(1): 25-59 (1992) |
| 1988 |
|---|
| 7 | | Francis Alexandre,
Jean-Pierre Finance,
Alain Quéré:
SPES: un système de transformation de programmes logiques.
SPLT 1988: 69-84 |
| 1985 |
|---|
| 6 | | Jean-Pierre Finance,
Jeanine Souquières:
A method and a language for constructing iterative programs.
Sci. Comput. Program. 5(2): 201-218 (1985) |
| 5 | | Jeanine Souquières,
Jean-Pierre Finance:
Description and Improvement of Iterative Program Transformations.
Sci. Comput. Program. 5(3): 233-264 (1985) |
| 1983 |
|---|
| 4 | | Jean-Pierre Finance,
M. S. Ouerghi:
On the Algebraic Specification of Concurrency and Communication.
ICPP 1983: 281-288 |
| 1979 |
|---|
| 3 | | Manfred Broy,
Martin Wirsing,
Jean-Pierre Finance,
Alain Quéré,
Jean-Luc Remy:
Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence.
Inf. Process. Lett. 8(5): 224-229 (1979) |
| 1976 |
|---|
| 2 | | Jean-Pierre Finance:
Une Formalisation de la Sémantique des Langages de Programmation.
ITA 10(2): 5-32 (1976) |
| 1 | | Jean-Pierre Finance:
Une Formalisation de la Sémantique des Langages de Programmation.
ITA 10(3): 5-21 (1976) |
