Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Algebraic Implementation of abstract data types: a survey of concepts and new compositionality results

Autor
Orejas, F.; Navarro, M.; Sánchez, A.
Tipus d'activitat
Article en revista
Revista
Mathematical structures in computer science
Data de publicació
1996-01
Volum
6
Número
01
Pàgina inicial
33
Pàgina final
67
DOI
https://doi.org/10.1017/S0960129500000864 Obrir en finestra nova
Resum
In this paper we try to shed some light on the similarities and differences in the different approaches denning the notions of implementation and implementation correctness. For obvious reasons, we do not discuss all existing approaches individually. Instead, a formal framework is introduced in order to discuss the most important ones. Additionally, we discuss some issues, which in our opinion are often misunderstood, concerning transitivity of implementation correctness and its role in the soft...
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants