Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Ownership and Immutability in Coq
View through CrossRef
<p>A significant issue in modern programming languages is unsafe aliasing. Modern type systems have attempted to address this in two prominent ways; immutability and ownership, and often a combination of the two [4][17]. The goal of this thesis is to formalise Immutability and Ownership using the Coq Proof Assistant, a formal proof management system [13]. We encode three type systems using Coq; Featherweight Immutable Java, Featherweight Generic Java and Featherweight Ownership Generic Java, and prove them sound. We describe the challenges presented in encoding immutability, ownership and type systems in general in Coq.</p>
Title: Ownership and Immutability in Coq
Description:
<p>A significant issue in modern programming languages is unsafe aliasing.
Modern type systems have attempted to address this in two prominent ways; immutability and ownership, and often a combination of the two [4][17].
The goal of this thesis is to formalise Immutability and Ownership using the Coq Proof Assistant, a formal proof management system [13].
We encode three type systems using Coq; Featherweight Immutable Java, Featherweight Generic Java and Featherweight Ownership Generic Java, and prove them sound.
We describe the challenges presented in encoding immutability, ownership and type systems in general in Coq.
</p>.
Related Results
Program in Coq
Program in Coq
Programmation en Coq
Dans cette thèse, nous cherchons à développer de nouvelles techniques pour écrire plus simplement des programmes formellement vérifiés. Nous pr...
Generic Ownership: a Practical Approach to Ownership and Confinement in Object-Oriented Programming Languages
Generic Ownership: a Practical Approach to Ownership and Confinement in Object-Oriented Programming Languages
<p>Modern object-oriented programming languages support many techniques that simplify the work of a programmer. Among them is generic types: the ability to create generic des...
Impact of Ownership Structure on Bank Risk Taking: A Comparative Analysis of Conventional Banks and Islamic Banks of Pakistan
Impact of Ownership Structure on Bank Risk Taking: A Comparative Analysis of Conventional Banks and Islamic Banks of Pakistan
This study is about the impact of ownership structure on bank risk taking with comparison between conventional banks and Islamic banks of Pakistan. Z-Score and SDROA are used as ri...
Pengaruh Kepemilikan Manajerial Dan Kepemilikan Institusional Terhadap Nilai Perusahaan Dengan Kebijakan Hutang Sebagai Variabel Intervening
Pengaruh Kepemilikan Manajerial Dan Kepemilikan Institusional Terhadap Nilai Perusahaan Dengan Kebijakan Hutang Sebagai Variabel Intervening
Background - Increasing company value one of the determining factors is ownership structure. Managerial ownership will tend to improve management performance for the benefit of the...
Hierarchical and dynamic relationships between body part ownership and full-body ownership
Hierarchical and dynamic relationships between body part ownership and full-body ownership
What is the relationship between experiencing individual body parts and the whole body as one’s own? We theorised that body part ownership is driven primarily by the perceptual bin...
SafeMD:Ownership-based Safe Memory Deallocation for C Programs
SafeMD:Ownership-based Safe Memory Deallocation for C Programs
Rust is a relatively new programming language that aims to provide memory safety at compile time. It introduces a novel ownership system which enforces automatic deallocation of un...
THE EFFECT OF CONCENTRATED OWNERSHIP ON BANK PROFITABILITY IN INDONESIA
THE EFFECT OF CONCENTRATED OWNERSHIP ON BANK PROFITABILITY IN INDONESIA
This paper examines the association between concentrated ownership and the profitability of banks in Indonesia during the period from 2012 to 2018 with a total sample of 93 banks o...
Association between dog and cat ownership with cardiovascular disease: A systematic review and meta-analysis
Association between dog and cat ownership with cardiovascular disease: A systematic review and meta-analysis
Background: Numerous studies have described the correlation of pet ownership with cardiovascular diseases, with dog and cat ownership emerging as the predominant forms of pet compa...