Relational Cost Analysis for Functional-Imperative Programs

Proceedings of the ACM on Programming Languages
doi 10.1145/3341696
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Monadic Refinements for Relational Cost Analysis

Proceedings of the ACM on Programming Languages
2018English

Relational Capital: An Imperative for Effective Service Localization

2019English

An Integrated Proof Language for Imperative Programs

ACM SIGPLAN Notices
Computer Science
2009English

Declarative View of Imperative Programs

1998English

Calculating Quantitative Integrity and Secrecy for Imperative Programs

International Journal of Secure Software Engineering
2015English

Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2017English

SIMPAL: A Compositional Reasoning Framework for Imperative Programs

English

Mode Analysis of Functional Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Going It Alone Won’t Work! The Relational Imperative for Social Innovation in Social Enterprises

Journal of Business Ethics
ArtsManagementBusinessHumanitiesEconomicsInternational ManagementAccountingLawEconometrics
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy