Working paper
OA Policy
English

A Formal Definition of Swift's Value Semantics

ContributorsRacordon, Dimitriorcid
Publication date2020
Abstract

Swift is a general-purpose programming language designed as a modern substitute for C-based languages, such as C/C++ and Objective-C. As such, its semantics departs from that of most alternative based on a virtual machine. Specifically, Swift distinguishes between reference and value semantics. The former corresponds to the way most objects in Java-like languages behave, whereas the latter relates more to passive data structures in C/C++. The support of value semantics in concert with common object-orientation patterns gives rise to a number of subtleties with which inexperienced developers may not be familiar. In this work in progress, I attempt to shed light on these aspects with a formal description of Swift's value semantics.

Keywords
  • Swift
  • Value semantics
  • Reference semantics
  • Formal languages
Citation (ISO format)
RACORDON, Dimitri. A Formal Definition of Swift’s Value Semantics. 2020
Main files (1)
Working paper
Identifiers
  • PID : unige:145490
259views
156downloads

Technical informations

Creation24/11/2020 17:57:00
First validation24/11/2020 17:57:00
Update time15/03/2023 23:36:14
Status update15/03/2023 23:36:13
Last indexation31/10/2024 20:37:18
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack