An Integrated Proof Language for Imperative Programs

ACM SIGPLAN Notices - United States
doi 10.1145/1543135.1542514
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Relational Cost Analysis for Functional-Imperative Programs

Proceedings of the ACM on Programming Languages
2019English

Declarative View of Imperative Programs

1998English

Calculating Quantitative Integrity and Secrecy for Imperative Programs

International Journal of Secure Software Engineering
2015English

SIMPAL: A Compositional Reasoning Framework for Imperative Programs

English

An Integrated Language Theory

1967English

Model and Proof Generation for Heap-Manipulating Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Knowledge Representation in a Proof Checker for Logic Programs

2012English

An Integrated System for Morphological Analysis of the Slovene Language

1990English

Using Cloud Computing to Develop an Integrated Virtual System for Online GIScience Programs

Knowledge Management and E-Learning
E-learningEducationManagement of TechnologyInnovation
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy