BOUDOL, GÉRARD : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (22)
Les plus populaires
Liste
- Liste
- Tableau

1

The π-Calculus in Direct Style

Journal:

Higher-Order and Symbolic Computation

Année:

1998

Langue:

english

Fichier:

PDF, 220 KB

english, 1998

2

Recursion induction principle revisited

Gérard Boudol, Laurent Kott

Journal:

Theoretical Computer Science

Année:

1983

Langue:

english

Fichier:

PDF, 3.28 MB

english, 1983

3

On Type Inference in the Intersection Type Discipline

Gérard Boudol, Pascal Zimmer

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 354 KB

english, 2005

4

Algèbre de processus et synchronisation

Didier Austry, Gérard Boudol

Journal:

Theoretical Computer Science

Année:

1984

Fichier:

PDF, 2.89 MB

1984

5

A semantics for lambda calculi with resources

BOUDOL, GÉRARD, CURIEN, PIERRE-LOUIS, LAVATELLI, CAROLINA

Journal:

Mathematical Structures in Computer Science

Année:

1999

Langue:

english

Fichier:

PDF, 482 KB

english, 1999

6

Graphical versus logical specifications

Gérard Boudol, Kim G. Larsen

Journal:

Theoretical Computer Science

Année:

1992

Langue:

english

Fichier:

PDF, 1.08 MB

english, 1992

7

Reactive Concurrent Programming Revisited

Roberto M. Amadio, Gérard Boudol, Frédéric Boussinot, Ilaria Castellani

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 261 KB

english, 2006

8

Noninterference for concurrent programs and thread systems

Gérard Boudol, Ilaria Castellani

Journal:

Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 198 KB

english, 2002

9

On the semantics of the call-by-name CPS transform

Journal:

Theoretical Computer Science

Année:

2000

Langue:

english

Fichier:

PDF, 125 KB

english, 2000

10

Calculi for concurrent processes

Journal:

Journal of Computer Science and Technology

Année:

1998

Langue:

english

Fichier:

PDF, 61 KB

english, 1998

11

The chemical abstract machine

Gérard Berry, Gérard Boudol

Journal:

Theoretical Computer Science

Année:

1992

Langue:

english

Fichier:

PDF, 1.67 MB

english, 1992

12

On strong normalization and type inference in the intersection type discipline

Journal:

Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 466 KB

english, 2008

13

Termination, deadlock and divergence in the λ-calculus with multiplicities

Gerard Boudol, Cosimo Laneve

Journal:

Electronic Notes in Theoretical Computer Science

Année:

1995

Langue:

english

Fichier:

PDF, 730 KB

english, 1995

14

The Discriminating Power of Multiplicities in theλ-Calculus

Gérard Boudol, Cosimo Laneve

Journal:

Information and Computation

Année:

1996

Langue:

english

Fichier:

PDF, 1.18 MB

english, 1996

15

Typing termination in a higher-order concurrent imperative language

Journal:

Information and Computation

Année:

2010

Langue:

english

Fichier:

PDF, 541 KB

english, 2010

16

Typing noninterference for reactive programs

Ana Almeida Matos, Gérard Boudol, Ilaria Castellani

Journal:

The Journal of Logic and Algebraic Programming

Année:

2007

Langue:

english

Fichier:

PDF, 794 KB

english, 2007

17

Reasoning about Web Applications

Boudol, Gérard, Luo, Zhengqin, Rezk, Tamara, Serrano, Manuel

Journal:

ACM Transactions on Programming Languages and Systems

Année:

2012

Langue:

english

Fichier:

PDF, 1.87 MB

english, 2012

18

[ACM Press the 17th ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1990..-..)] Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 - The chemical abstract machine

Berry, Gerard, Boudol, Gerard

Année:

1990

Langue:

english

Fichier:

PDF, 1.27 MB

english, 1990

19

The receptive distributed Π-calculus

Amadio, Roberto M., Boudol, Gérard, Lhoussaine, Cédric

Journal:

ACM Transactions on Programming Languages and Systems

Année:

2003

Langue:

english

Fichier:

PDF, 305 KB

english, 2003

20

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Relaxed memory models

Boudol, Gérard, Petri, Gustavo

Année:

2008

Langue:

english

Fichier:

PDF, 285 KB

english, 2008

21

[ACM Press the 24th ACM SIGPLAN-SIGACT symposium - Paris, France (1997.01.15-1997.01.17)] Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97 - The π-calculus in direct style

Boudol, Gérard

Année:

1997

Fichier:

PDF, 1.06 MB

1997

22

Relaxed memory models

Boudol, Gérard, Petri, Gustavo

Journal:

ACM SIGPLAN Notices

Année:

2009

Langue:

english

Fichier:

PDF, 285 KB

english, 2009