Relational cost analysis in a functional-imperative setting

نویسندگان

چکیده

Abstract Relational cost analysis aims at formally establishing bounds on the difference in evaluation costs of two programs. As a particular case, one can also use relational to establish same program different inputs. One way perform is type-and-effect system that supports reasoning about relations between executions Building this basic idea, we present system, called ARel, for relative (the cost) array-manipulating, higher order functional-imperative The key ingredient our approach new lightweight type refinement discipline track (differences) mutable arrays. This combined with Hoare-style triples built into types allows us express and precise several interesting programs imperatively update their data. We have implemented ARel using ideas from bidirectional checking.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Specialization of Imperative Programs Through Analysis of Relational Expressions

An inter-procedural data flow analysis operating on control flow graphs and collecting information about program expressions is described in this paper. The following relational and other expressions are analyzed: equivalences between program expressions and constants; linear-ordering inequalities between program expressions and constants; equalities originating from some program assignments; a...

متن کامل

Froid: Optimization of Imperative Programs in a Relational Database

For decades, RDBMSs have supported declarative SQL as well as imperative functions and procedures as ways for users to express data processing tasks. While the evaluation of declarative SQL has received a lot of attention resulting in highly sophisticated techniques, the evaluation of imperative programs has remained näıve and highly inefficient. Imperative programs offer several benefits over ...

متن کامل

Promoting compassionate care with the older people: a relational imperative.

We have been invited to imagine a future where the care for older people goes beyond the current paradigm. This article challenges the fundamental assumptions that underlie current care practices and, instead, promotes systems and processes that elevate nourishing and stimulating relationships with basic dignity, as well as personal agency, in the later days of life. Healthcare professionals st...

متن کامل

Speed cameras in an urban setting: a cost-benefit analysis.

BACKGROUND To perform a cost-benefit analysis of the installation of speed cameras on the beltways of Barcelona. METHODS The analysis was performed from the society perspective over a 2-year period using a controlled before-and-after study design. The net benefit was calculated using, as benefits, the willingness to pay for the estimated number of people who avoided injury as a consequence of...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Functional Programming

سال: 2021

ISSN: ['0956-7968', '1469-7653']

DOI: https://doi.org/10.1017/s0956796821000071