SIMPAL: A Compositional Reasoning Framework for Imperative Programs

doi 10.31274/etd-180810-5893
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Iowa State University

Related search

Relational Cost Analysis for Functional-Imperative Programs

Proceedings of the ACM on Programming Languages
2019English

Compositional Reasoning in Early Childhood

PLoS ONE
Multidisciplinary
2016English

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

A Framework for Reasoning on Component Composition

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Modal Computational Framework for Default Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

On the Completeness of Compositional Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

A Compositional Framework for Complex Queries Over Uncertain Data

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy