The Frama-C GUI is implemented in OCaml, using a GTK-based graphical framework (lablgtk) written in OCaml. It is implemented as a plug-in, albeit a special ...
確定! 回上一頁