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
268views
211downloads

Technical informations

Creation11/24/2020 6:57:00 PM
First validation11/24/2020 6:57:00 PM
Update time03/16/2023 12:36:14 AM
Status update03/16/2023 12:36:13 AM
Last indexation10/31/2024 9:37:18 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack