scientific article; zbMATH DE number 1070623
From MaRDI portal
Publication:4357063
zbMATH Open0882.68131MaRDI QIDQ4357063FDOQ4357063
Authors: Gérard Huet
Publication date: 7 October 1997
Title of this publication is not available (Why is that?)
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
- Title not available (Why is that?)
- A Coq formalisation of SQL's execution engines
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Programming Languages and Systems
- A Short Presentation of Coq
- Canonical Big Operators
Uses Software
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)