Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming

Authors:
Isabel Nunes;Antónia Lopes;Vasco T. Vasconcelos
Affiliations:
Faculty of Sciences, University of Lisbon, Lisboa, Portugal 1749---016;Faculty of Sciences, University of Lisbon, Lisboa, Portugal 1749---016;Faculty of Sciences, University of Lisbon, Lisboa, Portugal 1749---016
Venue:
Runtime Verification
Year:
2009

Citing 0
Cited 4

Runtime verification for generic classes with CONGU2

SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Constructing a Model-Based Software Monitor for the Insulin Pump Behavior

Journal of Medical Systems
Specification-Driven unit test generation for java generic classes

IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Automatic synthesis of specifications for first order curry programs

Proceedings of the 14th symposium on Principles and practice of declarative programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Although generics became quite popular in mainstream object- oriented languages and several specification languages exist that support the description of generic components, conformance relations between object-oriented programs and formal specifications that have been established so far do not address genericity. In this paper we propose a notion of refinement mapping that allows to define correspondences between parameterized specifications and generic Java classes. Based on such mappings, we put forward a conformance notion useful for the extension of ConGu, a tool-based approach we have been developing to support runtime conformance checking of Java programs against algebraic specifications, so that it becomes applicable to a more comprehensive range of situations, namely those that appear in the context of a typical Algorithms and Data Structures course.