Schmitt, Alan, 1974-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 192994217 (Personal)
Permalink: http://viaf.org/viaf/192994217
Preferred Forms
5xx's: Related Names (2)
- 511 2 _
‡a
Institut de recherche en informatique et systèmes aléatoires (Rennes)
- 511 2 _
‡a
Institut national de recherche en informatique et en automatique (France)
Works
| Title | Sources |
|---|---|
| Bisimulations in calculi with passivation |
|
| Breaking boundaries between programming languages and databases. |
|
| Certification de programmes avec des effets calculatoires |
|
| Certification of programs with computational effects. |
|
| Components an types. |
|
| Composants et typage |
|
| A Coq certified translation from an extension of relational algebra for SQL to a nested algebra. |
|
| Detection de l'independance entre requête XML et mise à jour XML : une approche basée sur le typage. |
|
| Formalisation d'un vérificateur dynamique de propriétés mémoire pour programmes C |
|
| Formalization of a Runtime Assertion Checker for Memory Properties of C Programs. |
|
| High-level programming models for microcontrollers with scarce resources. |
|
| Invariants inference for model checking of parameterized systems. |
|
| JFLA 09 |
|
| JFLA 09 : actes des vingtièmes journées francophones des langages applicatifs |
|
| Location graphs : a formal approach to encapsulation and its implementation. |
|
| Mechanized support for the formal specification, verification and deployment of component-based applications. |
|
| A meta-approach to describe effectful and distributed semantics |
|
| Une méta-approche pour décrire des sémantiques distribuées et avec effets. |
|
| Modèles de programmation de haut niveau pour microcontrôleurs à faibles ressources |
|
| Necro, la sémantique sans y laisser les os : conception d'un système formel de description et de manipulation de sémantiques opérationnelles |
|
| Necro, the skeleton key to semantics. |
|
| Non local analyses certification with an annotated semantics |
|
| Programmation en Coq. |
|
| Sémantique et analyse certifiée de JavaScript. |
|
| Static type and value analysis by abstract interpretation of Python programs with native C libraries |
|
| Techniques de débogage statique et dynamique pour le langage HipHop.js |
|
| Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée |
|
| Transformations de sémantiques squelettiques. |
|
| Type-based detection of XML query-update independence |
|
| Unique solution techniques for processes and functions |
|
| Vérification automatisée de code système à l'aide d'abstractions mémoire basées sur le typage. |
|
| Vérification Formelle de Compilation à la Volée. |
|
