Program Correctness by Transformation

Lecture Notes in Computer Science- Germany

doi 10.1007/978-3-030-03418-4_22

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer International Publishing

Related search

Proving Theorems by Program Transformation

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Computing Stable Models by Program Transformation

1994English

Analyzing Array Manipulating Programs by Program Transformation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Proving the Correctness of Recursion-Based Automatic Program Transformations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Validate the Correctness of Object Oriented Program With Regression Testing

International Journal of Computer Applications
2014English

Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
1999English

Testability Transformation – Program Transformation to Improve Testability

English

Program Development Through Proof Transformation

Contemporary Mathematics
Mathematics
1990English

General Correctness: A Unification of Partial and Total Correctness

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
1985English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy