Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 

Материал конференции: "Научный сервис в сети Интернет: труды XXIII Всероссийской научной конференции (20-23 сентября 2021 г., онлайн), CEUR"
Авторы: Адамович А.И., Климов А.В.
On Theory of Names to be Used in Semantics of References in Functional and Object-Oriented Languages
The long-standing problem of adequate formalization of local names in mathematical formulas and semantics of references in object-oriented languages taken on their own without objects, is discussed. Reasons why the existing approaches cannot be considered suitable solutions, are explained. An introduction is given to the relatively recent works on the theories of names and references of the group lead by Andrew Pitts. The concept of referential transparency, in which contextual equivalence is used instead of the usual equality of values, is analyzed. It is the main property, which these theories are based upon: such modified referential transparency is preserved when a purely functional language is extended with names and references as data. An outline of a constructive denotational semantics of the extended functional language is given. It is argued that the modified referential transparency, along with many other valuable properties, can be also 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.
Ключевые слова:
Bound variables, local names, references to objects, nominal set theory, referential transparency, contextual equivalence, monotonic objects, internally deterministic programs
Язык публикации: английский,  страниц: 12 (с. 1-12)
Полный текст на английском языке:
Экспорт ссылки на публикацию в формате:   RIS    BibTeX
Сведения об авторах:
  • Адамович Алексей Игоревич,  orcid.org/0000-0003-1392-8871,  Институт программных систем им. А.К. Айламазяна РАН
  • Климов Андрей Валентинович,  orcid.org/0000-0003-0418-7311ИПМ им. М.В. Келдыша РАН