Poly/ML
From MaRDI portal
Software:23299
swMATH11353MaRDI QIDQ23299FDOQ23299
Author name not available (Why is that?)
Cited In (11)
- Skalpel: a type error slicer for standard ML
- A verified proof checker for higher-order logic
- The verified CakeML compiler backend
- Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
- Interactive Simplifier Tracing and Debugging in Isabelle
- From LCF to Isabelle/HOL
- Verified Root-Balanced Trees
- Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency
- Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework
- Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
This page was built for software: Poly/ML
