Jean-Pierre Finance

According to our database, Jean-Pierre Finance authored at least 10 papers between 1976 and 1992.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1992

Communication Relations: A Paradigm for Parallel Program Design.

Guy-René Perrin, Jean-Pierre Finance

Sci. Comput. Program., 1992

Spes: A System for Logic Program Transformation.

Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré

Proceedings of the Logic Programming and Automated Reasoning, 1992

1990

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).

Jean-Pierre Finance, Ali Mili

J. Syst. Softw., 1990

1988

SPES: un système de transformation de programmes logiques.

Francis Alexandre, Jean-Pierre Finance, Alain Quéré

Proceedings of the SPLT'88, 1988

1985

Description and Improvement of Iterative Program Transformations.

Jeanine Souquières, Jean-Pierre Finance

Sci. Comput. Program., 1985

A method and a language for constructing iterative programs.

Jean-Pierre Finance, Jeanine Souquières

Sci. Comput. Program., 1985

1983

On the Algebraic Specification of Concurrency and Communication.

Jean-Pierre Finance, Mohamed Saïd Ouerghi

Proceedings of the International Conference on Parallel Processing, 1983

1979

Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence.

Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Rémy

Inf. Process. Lett., 1979

1977

Static and Computational Semantics of a Definitional Language.

Jean-Pierre Finance

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

1976

Une Formalisation de la Sémantique des Langages de Programmation.

Jean-Pierre Finance

RAIRO Theor. Informatics Appl., 1976