On methods for safe introduction of oper
โ
Paulo A.S. Veloso; Sheila R.M. Veloso
๐
Article
๐
1997
๐
Elsevier Science
๐
English
โ 674 KB
Some methods for introducing new operations into logical specifications are examined, with emphasis on criteria for conservativeness, and compared with respect to their relative power. The motivation comes mainly from software development, especially methods using abstract data types, whose specific