fr
Chapitre d'actes
Anglais

Implementing a language with explicit assignment semantics

Contributeurs/tricesRacordon, Dimitri; Buchs, Didier
Présenté à Athens (Greece), October, 2019
Maison d'éditionACM Press
Date de publication2019
Résumé

Anzen is a multi-paradigm programming language that aims to provide explicit and controllable assignment semantics. It is based on the observation that abstractions over memory management and data representation, as commonly adopted by contemporary programming languages, often transpire relics of the underlying memory model and lead to confusing assignment semantics in the presence of aliases. In response, Anzen's goal is to offer a modern approach to programming, built on a sound and unambiguous semantics.This paper describes the implementation of a compiler for Anzen. Our implementation transpiles sources to an intermediate language inspired by the LLVM IR, designed to ease further analysis on Anzen's statements. This intermediate representation is then consumed by a register-based virtual machine. We present the Anzen compiler's architecture, introduce its intermediate language and describe the latter's evaluation. Our work aims to set a reference implementation for future developments and extensions of the language.

Mots-clés
  • Intermediate language
  • Virtual machine
  • Imperative languages
  • Assignment
  • Memory management
Citation (format ISO)
RACORDON, Dimitri, BUCHS, Didier. Implementing a language with explicit assignment semantics. In: Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, VMIL 2019. Athens (Greece). [s.l.] : ACM Press, 2019. p. 12–21. doi: 10.1145/3358504.3361227
Fichiers principaux (1)
Proceedings chapter (Published version)
accessLevelRestricted
Identifiants
ISBN978-1-4503-6987-9
209vues
0téléchargements

Informations techniques

Création12.05.2020 16:24:00
Première validation12.05.2020 16:24:00
Heure de mise à jour15.03.2023 21:55:01
Changement de statut15.03.2023 21:55:00
Dernière indexation17.01.2024 09:48:12
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack