|
Search the dblp DataBase
Jean-Pierre Finance:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jean-Pierre Finance, M. S. Ouerghi
On the Algebraic Specification of Concurrency and Communication. [Citation Graph (0, 0)][DBLP] ICPP, 1983, pp:281-288 [Conf]
- Francis Alexandre, Jean-Pierre Finance, Alain Quéré
SPES: un système de transformation de programmes logiques. [Citation Graph (0, 0)][DBLP] SPLT, 1988, pp:69-84 [Conf]
- Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré
Spes: A System for Logic Program Transformation. [Citation Graph (0, 0)][DBLP] LPAR, 1992, pp:445-447 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1979, v:8, n:5, pp:224-229 [Journal]
- Jean-Pierre Finance
Une Formalisation de la Sémantique des Langages de Programmation. [Citation Graph (0, 0)][DBLP] ITA, 1976, v:10, n:2, pp:5-32 [Journal]
- Jean-Pierre Finance
Une Formalisation de la Sémantique des Langages de Programmation. [Citation Graph (0, 0)][DBLP] ITA, 1976, v:10, n:3, pp:5-21 [Journal]
- Jean-Pierre Finance, Jeanine Souquières
A method and a language for constructing iterative programs. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1985, v:5, n:2, pp:201-218 [Journal]
- Guy-René Perrin, Jean-Pierre Finance
Communication Relations: A Paradigm for Parallel Program Design. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1992, v:19, n:1, pp:25-59 [Journal]
- Jeanine Souquières, Jean-Pierre Finance
Description and Improvement of Iterative Program Transformations. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1985, v:5, n:3, pp:233-264 [Journal]
Search in 0.003secs, Finished in 0.003secs
|