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 :
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download
Contributor : Claude Marché <>
Submitted on : Monday, November 23, 2009 - 12:31:22 PM
Last modification on : Friday, July 6, 2018 - 3:06:06 PM
Long-term archiving on : Tuesday, October 16, 2012 - 2:40:29 PM


Files produced by the author(s)


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



Record views


Files downloads