Generic Specifications in CASL: An Alternative Proposal

Maura Cerioli
Gianna Reggio

21 May 1997

This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.2.

Abstract

Our main criticism is that the current proposal for generic specifications is not standard and, especially, that it is very difficult to understand for the end users, who are used to programming languages, where the equivalent of generics (functions, procedures, subroutines...) have named parameters.

Contents