scientific article; zbMATH DE number 1070623
From MaRDI portal
Publication:4357063
Recommendations
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
- scientific article; zbMATH DE number 1670755
- Proof by computation in the Coq system
- Coinduction: automata, formal proof, companions (invited paper)
- Proof systems for structured algebraic specifications: An overview
- Formalizing implicative algebras in Coq
- scientific article; zbMATH DE number 2061716
- Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant
- scientific article; zbMATH DE number 2079677
Cited in
(13)- High-level modelling for typed functional programming
- Coq and hardware verification: a case study
- Program calculation in Coq
- scientific article; zbMATH DE number 1863383 (Why is no real title available?)
- A Coq formalisation of SQL's execution engines
- scientific article; zbMATH DE number 1670755 (Why is no real title available?)
- HOCore in Coq
- Concrete semantics with Coq and CoqHammer
- Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server
- scientific article; zbMATH DE number 1927413 (Why is no real title available?)
- Programming Languages and Systems
- A Short Presentation of Coq
- Canonical Big Operators
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4357063)
