Modular Specification of Java Programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2009

Modular Specification of Java Programs


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.
Fichier principal
Vignette du fichier
RR-7097.pdf (207.69 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00434452 , version 1 (23-11-2009)


  • HAL Id : inria-00434452 , version 1


Elena Tushkanova, Alain Giorgetti, Claude Marché, Olga Kouchnarenko. Modular Specification of Java Programs. [Research Report] RR-7097, INRIA. 2009, pp.26. ⟨inria-00434452⟩
331 View
301 Download


Gmail Facebook X LinkedIn More