Modular Specification of Java Programs

Abstract : This work investigates the question of modular specification of generic Java classes and methods. The first part introduces a specification language for Java programs. In the second part the language is used to specify an array sorting algorithm by selection. The third and the fourth parts define a syntax proposal for the specification a generic Java programs, through two examples. The former is the specification of the generic method for sorting arrays which comes in the java.util.Arrays class of the Java API. The latter is the specification of the java.util.HashMap class and its use for memoization.
Type de document :
Rapport
[Research Report] RR-7097, INRIA. 2009, pp.26
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00434452
Contributeur : Claude Marché <>
Soumis le : lundi 23 novembre 2009 - 12:31:22
Dernière modification le : jeudi 5 avril 2018 - 12:30:08
Document(s) archivé(s) le : mardi 16 octobre 2012 - 14:40:29

Fichier

RR-7097.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00434452, version 1

Citation

Elena Tushkanova, Alain Giorgetti, Claude Marché, Olga Kouchnarenko. Modular Specification of Java Programs. [Research Report] RR-7097, INRIA. 2009, pp.26. 〈inria-00434452〉

Partager

Métriques

Consultations de la notice

331

Téléchargements de fichiers

142