Report
A Dependent Dependency Calculus (Extended Version)
| العنوان: | A Dependent Dependency Calculus (Extended Version) |
|---|---|
| المؤلفون: | Choudhury, Pritam, Eades III, Harley, Weirich, Stephanie |
| سنة النشر: | 2022 |
| المجموعة: | Computer Science |
| مصطلحات موضوعية: | Computer Science - Programming Languages |
| الوصف: | Over twenty years ago, Abadi et al. established the Dependency Core Calculus (DCC) as a general purpose framework for analyzing dependency in typed programming languages. Since then, dependency analysis has shown many practical benefits to language design: its results can help users and compilers enforce security constraints, eliminate dead code, among other applications. In this work, we present a Dependent Dependency Calculus (DDC), which extends this general idea to the setting of a dependently-typed language. We use this calculus to track both run-time and compile-time irrelevance, enabling faster type-checking and program execution. Comment: Extended version of paper published in ESOP 2022, 2-7 April 2022, Munich, Germany |
| نوع الوثيقة: | Working Paper |
| URL الوصول: | http://arxiv.org/abs/2201.11040 |
| رقم الانضمام: | edsarx.2201.11040 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |