The Next 700 Compiler Correctness Theorems (Functional Pearl)

Proceedings of the ACM on Programming Languages
doi 10.1145/3341689
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

The Next 700 Impossibility Results in Time-Varying Graphs

International Journal of Networking and Computing
2016English

Functional Pearl: The Proof Search Monad

English

Proof Automation for Functional Correctness in Separation Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2014English

Algebraic Graphs With Class (Functional Pearl)

2017English

The META-T Compiler-Compiler

English

The META-T Compiler-Compiler

English

Correctness of Non-Determinism Analyses in a Parallel-Functional Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Comparison Theorems for Functional Differential Equations

Mathematische Nachrichten
Mathematics
1993English

General Correctness: A Unification of Partial and Total Correctness

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
1985English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy