Régis Cridlig

According to our database, Régis Cridlig authored at least 4 papers between 1993 and 1996.

Collaborative distances:

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

1996

Semantic analysis of concurrent ML by abstract model-checking.

Régis Cridlig

Proceedings of the First International Workshop on Verification of Infinite State Systems, 1996

Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectives.

Régis Cridlig

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

1995

Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking.

Régis Cridlig

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

1993

Semantics and Analysis of Linda-Based Languages.

Régis Cridlig, Eric Goubault

Proceedings of the Static Analysis, Third International Workshop, 1993