A Verified Compiler From Isabelle/Hol to CakeML

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-89884-1_35
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

From LCF to Isabelle/Hol

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2019English

Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/Hol

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2017English

Feature Link Propagation Across Variability Representations With Isabelle/Hol

2010English

Proving Bounds for Real Linear Programs in Isabelle/Hol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Refinement to Imperative/Hol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Beam Transfer From the AGS to ISABELLE

IEEE Transactions on Nuclear Science
Electronic EngineeringNuclearNuclear EnergyHigh Energy PhysicsEngineeringElectrical
1979English

Compiler Generation From Denotational Semantics

DAIMI Report Series
1980English

Esterel V7: From Verified Formal Specification to Efficient Industrial Designs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Schism: A Self-Hosting Scheme to WebAssembly Compiler

EasyChair Preprints
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy