Sidi O. Ehmety

According to our database, Sidi O. Ehmety authored at least 4 papers between 1996 and 2005.

Collaborative distances:

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

2005

Mechanizing compositional reasoning for concurrent systems: some lessons.

Sidi O. Ehmety, Lawrence C. Paulson

Formal Aspects Comput., 2005

2002

Program Composition in Isabelle/UNITY.

Sidi O. Ehmety, Lawrence C. Paulson

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

1996

A Natural Semantics for Eiffel Dynamic Binding.

Isabelle Attali, Denis Caromel, Sidi O. Ehmety

ACM Trans. Program. Lang. Syst., 1996

Semantic-Based Visualization for Parallel Object-Oriented Programming.

Isabelle Attali, Denis Caromel, Sidi O. Ehmety, Sylvain Lippi

Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996