Jean-Pierre Finance

13 papers B 3Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
1999 B ed.
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
FASE
Jean-Pierre Finance
1992 J jnl
Communication Relations: A Paradigm for Parallel Program Design.
Sci. Comput. Program.
Guy-René Perrin, Jean-Pierre Finance
1992 B conf
Spes: A System for Logic Program Transformation.
LPAR
Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré
1991 — ed.
Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991
IWSSD
Jean-Pierre Finance, Carlo Ghezzi, Gruia-Catalin Roman
1990 J jnl
A foreword to the special issue of the journal of systems and software on the Role of languages in programming (the Tenth Tunisian-French Seminar of Computer Science).
J. Syst. Softw.
Jean-Pierre Finance, Ali Mili
1988 — conf
SPES: un système de transformation de programmes logiques.
SPLT
Francis Alexandre, Jean-Pierre Finance, Alain Quéré
1985 J jnl
A method and a language for constructing iterative programs.
Sci. Comput. Program.
Jean-Pierre Finance, Jeanine Souquières
1985 J jnl
Description and Improvement of Iterative Program Transformations.
Sci. Comput. Program.
Jeanine Souquières, Jean-Pierre Finance
1983 B conf
On the Algebraic Specification of Concurrency and Communication.
ICPP
Jean-Pierre Finance, Mohamed Saïd Ouerghi
1979 J jnl
Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence.
Inf. Process. Lett.
Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Rémy
1977 — conf
Static and Computational Semantics of a Definitional Language.
Formal Description of Programming Concepts
Jean-Pierre Finance
1976 J jnl
Une Formalisation de la Sémantique des Langages de Programmation.
RAIRO Theor. Informatics Appl.
Jean-Pierre Finance
1976 J jnl
Une Formalisation de la Sémantique des Langages de Programmation.
RAIRO Theor. Informatics Appl.
Jean-Pierre Finance