Experiments in validating formal semantics for c

experiments in validating formal semantics for c-49

Andrade Almeida: Validating Modal Aspects of Onto UML Conceptual Models Using Automatically Generated Visual World Structures/jucs_16_20/validating_modal_aspects_of Editors: Amado-Salvatierra Hector R.

PHP is among the most used languages for server-side scripting.

Depuis 2003, d'abord dans le cadre de l'ARC Concert, puis actuellement dans le cadre du projet Compcert, je m'intresse l'utilisation des mthodes formelles pour spcifier et certifier un compilateur C, l'aide de l'assistant la preuve Coq.

Cela ncessite de dfinir diffrents niveaux d'abstraction des smantiques formelles des langages du compilateur, et de prouver ensuite sur machine des proprits de correction de ces smantiques.

Although K and matching logic fit well together, they are researched independently, for the benefit of both.

Comments