Program Correctness by Transformation

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-030-03418-4_22
Full Text
Abstract

Available in full text

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

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

Proving the Correctness of Recursion-Based Automatic Program Transformations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

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

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

Privacy PolicyRefund Policy