|
Search the dblp DataBase
Sidi O. Ehmety:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Sidi O. Ehmety, Lawrence C. Paulson
Program Composition in Isabelle/UNITY. [Citation Graph (0, 0)][DBLP] IPDPS, 2002, pp:- [Conf]
- Isabelle Attali, Denis Caromel, Sidi O. Ehmety, Sylvain Lippi
Semantic-Based Visualization for Parallel Object-Oriented Programming. [Citation Graph (0, 0)][DBLP] OOPSLA, 1996, pp:421-440 [Conf]
- Sidi O. Ehmety, Lawrence C. Paulson
Mechanizing compositional reasoning for concurrent systems: some lessons. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2005, v:17, n:1, pp:58-68 [Journal]
- Isabelle Attali, Denis Caromel, Sidi O. Ehmety
A Natural Semantics for Eiffel Dynamic Binding. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1996, v:18, n:6, pp:711-729 [Journal]
Search in 0.001secs, Finished in 0.001secs
|