Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
State-Dependent Representation Independence amal@tti-c.org
 

Summary: State-Dependent Representation Independence
Amal Ahmed
TTI-C
amal@tti-c.org
Derek Dreyer
MPI-SWS
dreyer@mpi-sws.mpg.de
Andreas Rossberg
MPI-SWS
rossberg@mpi-sws.mpg.de
Abstract
Mitchell's notion of representation independence is a particularly
useful application of Reynolds' relational parametricity -- two dif-
ferent implementations of an abstract data type can be shown con-
textually equivalent so long as there exists a relation between their
type representations that is preserved by their operations. There
have been a number of methods proposed for proving represen-
tation independence in various pure extensions of System F (where
data abstraction is achieved through existential typing), as well as
in Algol- or Java-like languages (where data abstraction is achieved

  

Source: Ahmed, Amal - School of Informatics, Indiana University
Dreyer, Derek - Max-Planck-Institut für Softwaresysteme

 

Collections: Computer Technologies and Information Sciences