Coq - PDFSEARCH.IO - Document Search Engine

Coq
Results: 297

#	Item
191	Systematic Development of Programs for Parallel and Cloud Computing: Towards a Framework NII Lectures Series Fr´ed´eric Loulergue Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-10-30 02:04:09 Theoretical computer science Coq Mathematical logic Logic in computer science Proof assistant OCaml Formal verification Coenzyme Q10 Parallel computing Software Computing Functional languages
192	LFMTPNominal Reasoning Techniques in Coq (Extended Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Theory of computation Computability theory Functions and mappings Logic in computer science Combinatory logic Function Primitive recursive function De Bruijn index Mathematics Theoretical computer science Mathematical logic
193	Lecture 7 Generate-Test-Aggregate in Coq - NII Lectures Series [width=4cm]niilogo.jpg Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-11-28 19:26:39 Mathematics Operations research Combinatorial optimization NP-complete problems Windows games Knapsack problem Semiring Grand Theft Auto IV Grand Theft Auto V Theoretical computer science Action-adventure games Applied mathematics
194	22 Developing applications with Objective Caml Having reached this point, the reader should no longer doubt the richness of Objective Caml. This language rests on a functional and imperative core, and it integrates the t Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages OCaml Caml ML Functional programming Preprocessor Coq Strong typing Haskell Software engineering Computing Computer programming
195	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Tilting at windmills with Coq: formal verification of a compilation algorithm for parallel moves Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-12-21 03:21:14
196	Experiments in validating formal semantics for C Sandrine Blazy ENSIIE and INRIA Rocquencourt [removed] Abstract. This paper reports on the design of adequate on-machine Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2008-06-30 05:17:26 Logic in computer science Formal methods Compiler construction Programming language semantics Formal verification Xavier Leroy Coq Operational semantics Compcert Software engineering Theoretical computer science Computing
197	Proof General Organize your proofs! User Manual for Proof General 4.2pre January 2012 proofgeneral.inf.ed.ac.uk Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2015-04-19 00:44:55 Functional languages Proof assistant Mathematical logic Theoretical computer science Emacs Coq Isabelle Formal verification Mathematical proof Software Automated theorem proving Formal methods
198	Proof General meets IsaWin Combining Text-Based And Graphical User Interfaces David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Christoph L¨ Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2005-06-02 05:55:58 Automated theorem proving Logical syntax Functional languages Proof assistant Isabelle Theorem prover Coq Mathematical proof IP Software Logic Theoretical computer science
199	The CompCert C verified compiler Documentation and user’s manual Version 2.4 Xavier Leroy INRIA Paris-Rocquencourt September 17, 2014 Add to Reading List Source URL: compcert.inria.fr Language: English - Date: 2014-09-17 05:19:05 Compilers Functional languages Formal methods Logic in computer science Compcert Compiler correctness Compiler Xavier Leroy Coq Software Computing Compiler construction

UPDATE