Coq - PDFSEARCH.IO - Document Search Engine

Coq
Results: 297

#	Item
201	Eclipse Proof General David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Abstract This is a description of a plan for new research which has been awarded an Eclipse Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2004-03-23 07:03:59 Automated theorem proving Formal methods Logic in computer science Proof assistant Isabelle Coq Mathematical proof Interactive proof system E theorem prover Theoretical computer science Mathematics Software
202	A statistical relational learning challenge – extracting proof strategies from exemplar proofs Gudmund Grov University of Edinburgh, United Kingdom Ekaterina Komendantskaya Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Automated theorem proving Mathematical proof Proof assistant Logic programming Coq Mathematical logic Formal methods Proof Automated reasoning Logic Mathematics Theoretical computer science
203	The Why3 platform Version 0.85, September 2014 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2014-09-17 04:10:47 Functional languages Theoretical computer science Automated theorem proving Formal methods Coq Proof assistant OCaml National Institute for Research in Computer Science and Control Isabelle Computing Software engineering Software
204	LogoUniversite_ParisSud_P Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:16:49 Frama-C Coq ESC/Java Theorem prover SPARK OCaml Mathematical proof Software Computing Functional languages
205	Alt-Ergo An SMT Solver for Software Verification Mohamed Iguernelala — OCamlPro SAS About ... Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:10:20 Functional languages Constraint programming Logic in computer science Electronic design automation Satisfiability Modulo Theories OCaml Automated theorem proving Coq Uclid Theoretical computer science Software Formal methods
206	Beyond Script Management David Aspinall School of Informatics University of Edinburgh CIAO 2007 · [removed] Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2010-10-04 11:26:58 Declarative programming Functional programming Aspinall Coq Software
207	A Framework for Interactive Proof David Aspinall1 , Christoph L¨ uth2 , and Daniel Winterstein1 1 2 Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2007-10-25 09:31:45 Cryptographic protocols Computational complexity theory Interactive proof system Proof assistant Coq IP Isabelle ACL2 Emacs Software Theoretical computer science Automated theorem proving
208	Proof General / Eclipse: A Generic Interface for Interactive Proof Daniel Winterstein1 , David Aspinall1 , and Christoph L¨ uth2 2 Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2005-02-06 07:36:58 Proof assistant Functional languages Isabelle Theorem prover Emacs Interactive proof system Coq KeY Mathematical proof Software Theoretical computer science Automated theorem proving
209	bbc.co.uk/food Slow cooker coq au vin Ingredients 400g/14oz shallots, peeled and left whole 2 carrots, cut into chunky pieces, about 2½cm/1in Add to Reading List Source URL: www.bbc.co.uk Language: English Coq au vin Stews Lardon Cooking Food and drink French cuisine Chicken dishes
210	Formalization of SPARK Subset in Coq Zhi Zhang Conservatoire National des Arts et Metiers Pierre Courtieu Maria Virginia Aponte Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2013-12-06 05:12:06 Procedural programming languages Ada programming language SPARK Tcl Coq ALGOL 68 Formal languages Comparison of Pascal and C Tiny programming language Software engineering Computing Programming language theory