Jean-Pierre Finance

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1992
Communication Relations: A Paradigm for Parallel Program Design.
Sci. Comput. Program., 1992

Spes: A System for Logic Program Transformation.
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).
Journal of Systems and Software, 1990

1988
SPES: un système de transformation de programmes logiques.
Proceedings of the SPLT'88, 1988

1985
Description and Improvement of Iterative Program Transformations.
Sci. Comput. Program., 1985

A method and a language for constructing iterative programs.
Sci. Comput. Program., 1985

1983
On the Algebraic Specification of Concurrency and Communication.
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.
Inf. Process. Lett., 1979

1977
Static and Computational Semantics of a Definitional Language.
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.
ITA, 1976

Une Formalisation de la Sémantique des Langages de Programmation.
ITA, 1976


  Loading...