Prototyping a tool environment for run-time assertion checking in JML with Communication Histories

Stijn De Frank De Jurgen Vinju 1
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Type de document :
Communication dans un congrès
12th Workshop on Formal Techniques for Java-like Programs, Jul 2010, Maribor, Slovenia. 2010
Liste complète des métadonnées

https://hal.inria.fr/inria-00535871
Contributeur : Jurgen Vinju <>
Soumis le : samedi 13 novembre 2010 - 16:19:34
Dernière modification le : mercredi 7 octobre 2015 - 01:16:10

Identifiants

  • HAL Id : inria-00535871, version 1

Collections

Citation

Stijn De, Frank De, Jurgen Vinju. Prototyping a tool environment for run-time assertion checking in JML with Communication Histories. 12th Workshop on Formal Techniques for Java-like Programs, Jul 2010, Maribor, Slovenia. 2010. 〈inria-00535871〉

Partager

Métriques

Consultations de la notice

80