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
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...
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...
STUDI TERHADAP PENGELOLAAN HARTA NEGARA MENURUT PERSPEKTIF EKONOMI ISLAM DAN PENERAPANNYA DI NDONESIA
STUDI TERHADAP PENGELOLAAN HARTA NEGARA MENURUT PERSPEKTIF EKONOMI ISLAM DAN PENERAPANNYA DI NDONESIA
This study aims to analyze and evaluate the management of public ownership (milkiyah 'ammah) and state ownership (milkiyah daulah) in Indonesia. This study describes in a qualitati...
Evaluation of Evidence-Based Practice Competency among Greek Undergraduate Nursing Students
Evaluation of Evidence-Based Practice Competency among Greek Undergraduate Nursing Students
Several years now, the global scientific community has accepted and recognized the importance of Evidence-based practice (EBP) for Nursing science. The main factor for the implemen...
The Role of Quality Enhancement Cell in Relation to Culture of Quality and Students’ Academic Performance
The Role of Quality Enhancement Cell in Relation to Culture of Quality and Students’ Academic Performance
This paper seeks to understand the impact of culture of quality (COQ) on students’ academic performance and examines the moderating influence of QECs at a university in a private s...