Refinement to Imperative/Hol

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

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

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

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2017English

From LCF to Isabelle/Hol

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2019English

A Verified Compiler From Isabelle/Hol to CakeML

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Erratum To: The Human Capital Imperative

2017English

(W)Hol(l)y Fucked!: Strategizing Resistance to the Harper Arts Cuts

ESC: English Studies in Canada
2009English

Certified Connection Tableaux Proofs for HOL Light and TPTP

2015English

Categorical Imperative

English

The Imperative of Teaching Professionalism to Biomedical Technologists

African Journal of Health Professions Education
2019English

The Formalization of Discrete Fourier Transform in HOL

Mathematical Problems in Engineering
MathematicsEngineering
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy