Program Development Through Proof Transformation

Contemporary Mathematics - United States
doi 10.1090/conm/106/1057826
Full Text
Abstract

Available in full text

Categories
Mathematics
Date
Authors
Publisher

American Mathematical Society

Related search

Parallelization & Checkpointing of GPU Applications Through Program Transformation

English

Program Transformation for Development, Verification, and Synthesis of Programs

Intelligenza Artificiale
Artificial Intelligence
2011English

System Description: The Proof Transformation System CERES

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Steward Program Proof of Concept Ends

2017English

Direct Liquefaction Proof-Of-Concept Program

1997English

Program Correctness by Transformation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Testability Transformation – Program Transformation to Improve Testability

English

Transformation Through Education

Bibliotekovedenie [Library and Information Science (Russia)]
2015English

On the Proof Theory of Program Transformations

Logic Journal of the IGPL
Philosophy
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy