Get started
Author

Sidi Ould Ehmety

A natural semantics for Eiffel dynamic binding
1996 · Isabelle Attali, Denis Caromel, et al. · ACM Transactions on Programming Languages and Systems · 23
PDF
Semantic-based visualization for parallel object-oriented programming
1996 · Isabelle Attali, Denis Caromel, et al. · Conference on Object-Oriented Programming Systems, Languages, and Applications · 8
PDF
Program composition in Isabelle/UNITY
2002 · S.O. Ehmety, L.C. Paulson · IEEE International Parallel and Distributed Processing Symposium (IPDPS) · 7
Mechanizing compositional reasoning for concurrent systems: some lessons
2005 · Sidi O. Ehmety, Lawrence C. Paulson · Formal Aspects of Computing · 5
An Operational Semantics for the Eiffel Language
1995 · Isabelle Attali, Denis Caromel, et al. · 4
Semantic-based visualization for parallel object-oriented programming
1996 · Isabelle Attali, Denis Caromel, et al. · ACM SIGPLAN Notices · 2
PDF
Representing Component States in Higher-Order Logic
2002 · Sidi Ould Ehmety, Lawrence C. Paulson · 1
Um Linux Reduzido para Sistema de Firewall
2001 · José de Ribamar Braga Pinheiro Júnior, Sidi Ould Ehmety
PDF
Etude du modele de programmation parallele eiffel// : semantique formelle, preuves et visualisation
1997 · Sidi Ould Ehmety
Works count: 12
Citation count: 50
H-index: 4
I10-index: 1
Year
Topic
Type