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.
Document type :
Reports
Liste complète des métadonnées

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/inria-00434452
Contributor : Claude Marché <>
Submitted on : Monday, November 23, 2009 - 12:31:22 PM
Last modification on : Friday, July 6, 2018 - 3:06:06 PM
Document(s) archivé(s) le : Tuesday, October 16, 2012 - 2:40:29 PM

File

RR-7097.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

468

Files downloads

154