Sémantiques formelles

Sémantiques formelles

Ce mémoire présente plusieurs définitions de sémantiques formelles et de transformations de programmes, et expose les choix de conception associés. En particulier, ce mémoire décrit une transformation de programmes inspirée de l'évaluation partielle et dédiée à la compréhension de programmes sc...

Full description

Bibliographic Details
Main Author:	Blazy, Sandrine
Language:	FRE
Published:	Université d'Evry-Val d'Essonne 2008
Subjects:	[INFO] Computer Science [MATH] Mathematics [INFO:INFO_SE] Computer Science/Software Engineering compilation méthodes formelles assistant à la preuve langage impératif
Online Access:	http://tel.archives-ouvertes.fr/tel-00336576 http://tel.archives-ouvertes.fr/docs/00/33/65/76/PDF/hdr.pdf

Similar Items

Vérification formelle d'un compilateur optimisant pour langages fonctionnels
by: Dargaye, Zaynah
Published: (2009)

Langages pour l'écriture de compilateurs
by: Cohen, Jacques
Published: (1967)

Contributions aux approches formelles de développement de logiciels : Intégration de méthodes formelles et analyse multifacette
by: Attiogbé, Christian
Published: (2007)

Approche formelle des problèmes liés à la sémantique des langues naturelles
by: Rouault, Jacques
Published: (1971)

Contribution à l'intégration de temporalité au formalisme B : Utilisation du calcul des durées en tant que sémantique temporelle pour B
by: Colin, Samuel
Published: (2006)

Méthode pour la mise au point de grammaire LL(1)
by: Bordier, Jérome
Published: (1971)

Etude d'un langage intermédiaire pour la compilation d'Algol 60 -<br />Application à un calculateur de type microprogrammé : CAE 510
by: Le Palmec, Jean
Published: (1966)

Contribution à une démarche de vérification formelle d'architectures logicielles
by: Graiet, Mohamed
Published: (2007)

Les objets en C++ : sémantique formelle mécanisée et compilation vérifiée
by: Ramananandro, Tahina
Published: (2012)

Contribution à la vérication formelle et programmation par contraintes
by: Collavizza, Hélène
Published: (2009)

Combinaison de spécifications formelles pour la modélisation des systèmes d'information
by: Gervais, Frédéric
Published: (2006)

Raffinement et preuves de systèmes Lustre
by: Mikac, Jan
Published: (2005)

Méthodes d'analyses syntaxiques descendantes pour langages "context-free"
by: Nguyen-Dinh, Xuan
Published: (1965)

Modélisation, spécification formelle et vérification de protocoles d'interaction: une approche basée sur les rôles
by: Romero-Hernandez, Ivan
Published: (2004)

Etude de l'apport des méthodes formelles déductives pour les développements de sécurité
by: Jaeger, Eric
Published: (2010)

Vérification formelle des systèmes numériques par démonstration de théorèmes: application aux composants cryptographiques
by: Toma, D.
Published: (2006)

Certification formelle de preuves cryptographiques basées sur les séquences de jeux
by: Zanella Beguelin, Santiago
Published: (2010)

Etude d'automates et de grammaires de ramifications
by: Berlioux, Pierre
Published: (1972)

Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information
by: Dupuy, Sophie
Published: (2000)

Définitions Inductives en Théorie des Types
by: Paulin-Mohring, Christine
Published: (1996)

Langages fonctionnels, typage et interopérabilité : Objective Caml sur .NET
by: Montelatici, Raphaël
Published: (2007)

Etude de la compilation de BASEL, langage de la famille d'Algol 68
by: Bajar, Victoria
Published: (1973)

Etude de la syntaxe d' Algol - Application à la compilation
by: Werner, Georg
Published: (1964)

Formal verification of translation validators
by: Tristan, Jean-Baptiste
Published: (2009)

Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles
by: Le Berre, Tanguy
Published: (2010)

Langage et méthode pour une ingénierie des modèles fiable
by: Fleurey, Franck
Published: (2006)

Détermination de certaines caractéristiques des grammaires et des langages "context-free"
by: Martin, François
Published: (1969)

Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objet
by: Truong, Ninh Thuan
Published: (2006)

AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement
by: Point, Gérald
Published: (2000)

Validation par évaluation sur un modèle : méthodes et algorithmes
by: Fernandez, Jean-Claude
Published: (1996)

LUSTRE : un langage déclaratif pour le temps réel
by: Bergerand, Jean-Louis
Published: (1986)

Développement prouvé de structures de données sans verrou
by: Fejoz, Loïc
Published: (2008)

Contribution à l'étude des mécanismes de traduction des langages de programmation : application au traitement des structures définies dynamiquement
by: Trilling, Laurent
Published: (1967)

Méthodes formelles et à objets pour le développement du logiciel :
by: ANDRE, Pascal
Published: (1995)

Modèles stochastiques pour les pertes de messages dans les protocoles asynchrones, et techniques de vérification automatique
by: Bertrand, Nathalie
Published: (2006)

Compilation certifiée de SCADE/LUSTRE
by: Auger, Cédric
Published: (2013)

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis
by: Pillot, Pierre
Published: (2007)

Contribution au développement des langages extensibles
by: Jorrand, Philippe
Published: (1975)

Vérification Formelle dans le Modèle Polyédrique
by: Morin-Allory, Katell
Published: (2004)

Analyse de dépendances ML pour les évaluateurs de logiciels critiques.
by: Benayoun, Vincent
Published: (2014)

Cannot write session to /tmp/vufind_sessions/sess_4j7q1e27631112dakj37umrr3h