On the Proof Theory of Program Transformations

Logic Journal of the IGPL - United Kingdom
doi 10.1093/jigpal/3.4.643
Full Text
Abstract

Available in full text

Categories
Philosophy
Date
Authors
Publisher

Oxford University Press (OUP)

Related search

On the 𝐾-Theory Proof of the Index Theorem

Contemporary Mathematics
Mathematics
1993English

Steward Program Proof of Concept Ends

2017English

The Transformations of Utility Theory: A Behavioral Perspective

Journal of Bioeconomics
PlanningDevelopmentEconomicsEconometricsGeography
2016English

Direct Liquefaction Proof-Of-Concept Program

1997English

Program Development Through Proof Transformation

Contemporary Mathematics
Mathematics
1990English

Quantum Theory for Sustainability Transformations

2020English

Proving the Correctness of Recursion-Based Automatic Program Transformations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Proof Theory and Computational Analysis

BRICS Report Series
1997English

Contributions to the General Theory of Transformations of Nets

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1929English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy