Image de couverture de livre

Extending Isabelle/HOL's Code Generator with support for the Go programming language

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Stübinger, Terru, Hupel, Lars
Format:	Preprint
Publié:	2023
Sujets:	Programming Languages Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Formalization of Differential Privacy in Isabelle/HOL
par: Sato, Tetsuya, et autres
Publié: (2024)

Brownian Motion in Isabelle/HOL
par: Laursen, Christian Pardillo, et autres
Publié: (2024)

Linear Programming in Isabelle/HOL
par: Parsert, Julian
Publié: (2024)

Verifying Numerical Methods with Isabelle/HOL
par: Bryant, Dustin, et autres
Publié: (2025)

Complex Bounded Operators in Isabelle/HOL
par: Unruh, Dominique, et autres
Publié: (2025)

A feasible and unitary quantum programming language
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

Exploiting Instantiations from Paramodulation Proofs in Isabelle/HOL
par: Bartl, Lukas, et autres
Publié: (2025)

A programming language characterizing quantum polynomial time
par: Hainry, Emmanuel, et autres
Publié: (2022)

Munkres' General Topology Autoformalized in Isabelle/HOL
par: Bryant, Dustin, et autres
Publié: (2026)

Stalnaker's Epistemic Logic in Isabelle/HOL
par: Guzman, Laura P. Gamboa, et autres
Publié: (2024)

A denotationally-based program logic for higher-order store
par: Aagaard, Frederik Lerbjerg, et autres
Publié: (2023)

Functional Array Programming in an Extended Pi-Calculus
par: Hüttel, Hans, et autres
Publié: (2024)

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
par: Foster, Simon, et autres
Publié: (2024)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)

Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL
par: Hulak, David B., et autres
Publié: (2026)

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
par: Munive, Jonathan Julián Huerta y, et autres
Publié: (2024)

A programming language combining quantum and classical control
par: Dave, Kinnari, et autres
Publié: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
par: Haselwarter, Philipp G., et autres
Publié: (2026)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
par: Akshay, S., et autres
Publié: (2026)

A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL
par: Schmoetten, Richard, et autres
Publié: (2024)

Compositional theories for host-core languages
par: Trotta, Davide, et autres
Publié: (2020)

Ordered Adjoint Logic (Extended Version)
par: Roshal, Sophia, et autres
Publié: (2026)

Adjoint Natural Deduction (Extended Version)
par: Jang, Junyoung, et autres
Publié: (2024)

Checkpoint-based rollback recovery in session programming
par: Mezzina, Claudio Antares, et autres
Publié: (2023)

Complete first-order reasoning for functional programs
par: Murali, Adithya, et autres
Publié: (2026)

Hybrid Intersection Types for PCF (Extended Version)
par: Barenbaum, Pablo, et autres
Publié: (2024)

An Abstract Domain for Heap Commutativity (Extended Version)
par: Pincus, Jared, et autres
Publié: (2024)

Extended Abstract: Mutable Objects with Several Implementations
par: Kaufmann, Matt, et autres
Publié: (2025)

Monadic Intersection Types, Relationally (Extended Version)
par: Gavazzo, Francesco, et autres
Publié: (2024)

Products of Recursive Programs for Hypersafety Verification (Extended Version)
par: Cheng, Ruotong, et autres
Publié: (2025)

S4 modal sequent calculus as intermediate logic and intermediate language
par: Caspar, Jean, et autres
Publié: (2026)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
par: Lööw, Andreas, et autres
Publié: (2024)

Mechanised Hypersafety Proofs about Structured Data: Extended Version
par: Gladshtein, Vladimir, et autres
Publié: (2024)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
par: Lahav, Ori, et autres
Publié: (2023)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
par: Tsukada, Takeshi, et autres
Publié: (2025)

JAX Autodiff from a Linear Logic Perspective (Extended Version)
par: Giusti, Giulia, et autres
Publié: (2025)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
par: Hu, Jason Z. S., et autres
Publié: (2024)

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
par: Grandury, Marcos, et autres
Publié: (2025)

A Formalization of the Yul Language and Some Verified Yul Code Transformations
par: Coglio, Alessandro, et autres
Publié: (2025)