From LCF to Isabelle/Hol

Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-019-00492-1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

A Verified Compiler From Isabelle/Hol to CakeML

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

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

Fatigue Crack Closure: From LCF to Small Scale Yielding

International Journal of Fatigue
Mechanics of MaterialsMaterials ScienceIndustrialMechanical EngineeringManufacturing EngineeringSimulationModeling
2013English

Beam Transfer From the AGS to ISABELLE

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

Experimental Use of Neutrinos From ISABELLE Beam Dumps

1978English

What Not to Do With Isabelle and Why.

1972English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy