4 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 4 cited
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation
Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet
Program transformation has gained a wide interest since it is used for several purposes: altering semantics of a program, adding features to a program or performing optimizations.…
cs.LO2013★ 2 cited
Formal verification of a proof procedure for the description logic ALC
Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker
Description Logics (DLs) are a family of languages used for the representation and reasoning on the knowledge of an application domain, in a structured and formal manner. In order…