Poly/ML
From MaRDI portal
Cited in
(26)- Isabelle/PIDE
- A verified proof checker for higher-order logic
- CompCertTSO
- OpenAxiom
- jEdit
- Proof General Kit
- iJulienne
- From LCF to Isabelle/HOL
- FreeRTOS
- MLton
- Proof of OS scheduling behavior in the presence of interrupt-induced concurrency
- PolyML
- Skalpel
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
- GCminor
- ACE
- Gauss-Jordan
- QR Decomposition
- Root Balanced Tree
- The verified CakeML compiler backend
- Verified Root-Balanced Trees
- Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit
- Retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework
- Skalpel: a type error slicer for standard ML
- Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm
- Interactive simplifier tracing and debugging in Isabelle
This page was built for software: Poly/ML
