Jean-Pierre Finance

Publication Activity (10 Years)

Years Active: 1976-1992
Publications (10 Years): 0

Publications

Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré
Spes: A System for Logic Program Transformation. LPAR (1992)
Guy-René Perrin, Jean-Pierre Finance
Communication Relations: A Paradigm for Parallel Program Design. Sci. Comput. Program. 19 (1) (1992)
Jean-Pierre Finance, Ali Mili
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. 12 (2) (1990)
Francis Alexandre, Jean-Pierre Finance, Alain Quéré
SPES: un système de transformation de programmes logiques. SPLT (1988)
Jean-Pierre Finance, Jeanine Souquières
A method and a language for constructing iterative programs. Sci. Comput. Program. 5 (2) (1985)
Jeanine Souquières, Jean-Pierre Finance
Description and Improvement of Iterative Program Transformations. Sci. Comput. Program. 5 (3) (1985)
Jean-Pierre Finance, Mohamed Saïd Ouerghi
On the Algebraic Specification of Concurrency and Communication. ICPP (1983)
Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Rémy
Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence. Inf. Process. Lett. 8 (5) (1979)
Jean-Pierre Finance
Static and Computational Semantics of a Definitional Language. Formal Description of Programming Concepts (1977)
Jean-Pierre Finance
Une Formalisation de la Sémantique des Langages de Programmation. RAIRO Theor. Informatics Appl. 10 (2) (1976)
Jean-Pierre Finance
Une Formalisation de la Sémantique des Langages de Programmation. RAIRO Theor. Informatics Appl. 10 (3) (1976)