Sidi O. Ehmety

Publication Activity (10 Years)

Years Active: 1996-2005
Publications (10 Years): 0

Publications

Sidi O. Ehmety, Lawrence C. Paulson
Mechanizing compositional reasoning for concurrent systems: some lessons. Formal Aspects Comput. 17 (1) (2005)
Sidi O. Ehmety, Lawrence C. Paulson
Program Composition in Isabelle/UNITY. IPDPS (2002)
Isabelle Attali, Denis Caromel, Sidi O. Ehmety, Sylvain Lippi
Semantic-Based Visualization for Parallel Object-Oriented Programming. OOPSLA (1996)
Isabelle Attali, Denis Caromel, Sidi O. Ehmety
A Natural Semantics for Eiffel Dynamic Binding. ACM Trans. Program. Lang. Syst. 18 (6) (1996)