( en | de | ru )

 

Disambiguation of "Banâtre, Jean-Pierre"

Author of the publication

copydeleteadd this publication to your clipboard
Compile-Time Detection of Information Flow in Sequential Programs.

, , and . ESORICS, volume 875 of Lecture Notes in Computer Science, page 55-73. Springer, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pierre Jean Regenet

Jean Pierre Calteux

Jean-Pierre Mazat

Jean-Pierre Dubost

Jean-Pierre Détry

 

Other publications of authors with the same name

A Cooperation Scheme for Parallel Compilation.. Method and tools for compiler construction, page 207-218. Cambridge University Press, (1983)A Multiprocessing Approach to Compile-Time Symbol Resolution., , and . ACM Trans. Program. Lang. Syst., 3 (1): 11-23 (1981)Compile-Time Detection of Information Flow in Sequential Programs., , and . ESORICS, volume 875 of Lecture Notes in Computer Science, page 55-73. Springer, (1994)Programming Self-Organizing Systems with the Higher-Order Chemical Language., , and . Int. J. Unconv. Comput., 3 (3): 161-177 (2007)Principles of Chemical Programming., , and . RULE@RDP, volume 124 of Electronic Notes in Theoretical Computer Science, page 133-147. Elsevier, (2004)Generalised multisets for chemical programming., , and . Math. Struct. Comput. Sci., 16 (4): 557-580 (2006)Models and Paradigms for Distributed Systems Structuring - Introduction., and . ACM SIGOPS Oper. Syst. Rev., 27 (2): 54-55 (1993)Chemical Programming of Future Service-oriented Architectures., and . J. Softw., 4 (7): 738-746 (2009)Producing Optimised Code for Coercions.. Inf. Process. Lett., 6 (2): 56-59 (1977)Constructing parallel programs and their termination proof., , and . ICPP, page 224-225. IEEE Computer Society, (1982)