Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
1Activity
0 of .
Results for:
No results containing your search query
P. 1
Verificateur d'assertions à Runtime - Guilbault Volant

Verificateur d'assertions à Runtime - Guilbault Volant

Ratings: (0)|Views: 31 |Likes:
Published by thoradeon
Plus d'infos => http://www.abricocotier.fr/9225-verificateur-dassertions-a-runtime-un-exemple-simple-avec-ocaml
Plus d'infos => http://www.abricocotier.fr/9225-verificateur-dassertions-a-runtime-un-exemple-simple-avec-ocaml

More info:

Published by: thoradeon on Feb 03, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/12/2013

pdf

text

original

 
 
2010
ProgrammationRaisonnéePierre Guilbault - LouisVolant
[
VERIFICATEUR D’ASSER
TIONA RUNTIME] 
L’objet de ce projet était de créer dans un langage simplifié d’annotations, un vérificateur d’assertion
à runtime.
 
1
Sommaire
 
2
Introduction
L’objectif de ce projet était de réaliser un vérificateur d’assertions à runtime. Pour cela, le
langage impérat
if PL et le langage d’annotations noté PLML (similaire à JML) ont été introduits. Celangage d’annotations se base sur le paradigme de programmation par contrat. Les annotations
PLML insérées dans le langage PL sont traduites en instructions de vérification c'est-à-dire que cesnouvelles instructions seront chargées de vérifier si le contrat a été respecté ou non. Pour mettre en
place ce vérificateur d’assertions à runtime, nous avons utilisé OCaml pour définir d’une part lelangage PL et d’autre part le langage d’annotations PLML.
 

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->