KIAM Main page Web Library  •  Publication Searh   
Publication

Conference material: "Scientific service & Internet: proceedings of the 23rd All-Russian Scientific Conference (September 20-23, 2021, online)"
Authors: Adamovich A.I., Klimov A.V.
On theories of names and references in formal languages and implications for functional and object-oriented programming
Abstract:
The long-standing problem of adequate formalization of local names in mathematical formulae and semantics of references in object-oriented languages taken as is without objects, is discussed. Reasons why the existing approaches cannot be considered suitable solutions, are explained. An introduction to the relatively recent works on the theories of names and references of the group headed by Andrew Pitts, is given. The notion of referential transparency, in which contextual equivalence is used instead of the usual equality of values, is analyzed. This is the main property, which these theories are based upon: it is preserved when a purely functional language is extended with names and references as data. It is argued that such referential transparency, along with many others, can be preserved for mutable objects that change to a limited extent. This leads to a model of computation between functional and object-oriented ones, allowing for a deterministic parallel implementation.
Keywords:
bound variables, local names, references to objects, nominal set theory, nominal methods, referential transparency, contextual equivalence, monotonic objects
Publication language: russian,  pages: 19 (p. 3-21)
Russian source text:
Export link to publication in format:   RIS    BibTeX
About authors:
  • Adamovich Alexei Igorevich,  orcid.org/0000-0003-1392-8871,  Ailamazyan Program Systems Institute of RAS
  • Klimov Andrei Valentinovich,  orcid.org/0000-0003-0418-7311KIAM RAS