Coq - PDFSEARCH.IO - Document Search Engine

Coq
Results: 297

#	Item
171	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2012-03-09 11:37:19 Functional languages Type theory Logic in computer science Procedural programming languages Formal methods OCaml Type system Coq ML Software engineering Computing Programming language theory
172	CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo Mathieu Boespflug1 and Guillaume Burel2 1 McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:10:59 Type theory Dependently typed programming Lambda calculus Formal methods Recursion Calculus of constructions Calculus of inductive constructions Coq Dependent type Programming language theory Mathematics Algebra
173	A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech. Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-03-19 06:05:38 Type theory Functional languages Mathematical logic FAUST Eval Mathematical proof Nyquist–Shannon sampling theorem Coq Dependent type Mathematics Computing Theoretical computer science
174	COMBINING PROOFS AND PROGRAMS Chris Casinghino A DISSERTATION in Computer and Information Science Presented to the Faculties of the University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-09 16:17:45 Computing Type system Coq Dependent type C Interpretation Simply typed lambda calculus Denotational semantics Type theory Programming language theory Software engineering
175	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: pauillac.inria.fr Language: English - Date: 2007-12-21 03:21:14
176	Microsoft Word - rico-apm-coq.doc Add to Reading List Source URL: davidfrico.com Language: English - Date: 2012-01-29 21:04:15 Extreme programming Design for X Engineering statistics Software development process Continuous integration Code review Test automation Test-driven development Reliability engineering Software development Software Software testing
177	Combining Proofs and Programs Stephanie Weirich University of Pennsylvania June 1, 2011 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-06-03 10:59:23 Computing Dependent type Agda Ωmega Haskell Coq Epigram Type theory Functional programming Functional languages Software engineering Programming language theory
178	Microsoft Word - agile-vs-trad-coq.doc Add to Reading List Source URL: davidfrico.com Language: English - Date: 2014-06-25 20:02:04 Software project management Software development process Formal methods Software engineering Extreme programming Quality assurance Requirement Acceptance testing DevOps Software development Software Agile software development
179	Scientific ReportMicrosoft Research-Inria Joint Centre www.msr-inria.inria.fr Introduction Add to Reading List Source URL: www.msr-inria.fr Language: English - Date: 2015-01-29 08:56:57 Finite groups Metalogic Mathematical logic Mathematical proofs Coq Feit–Thompson theorem Proof assistant Dade isometry Fundamental theorem of algebra Mathematics Abstract algebra Algebra
180	Verifying Faust in Coq - Progress report Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-22 05:59:27 IRCAM Folklore Music Culture Audio programming languages FAUST Mephisto

UPDATE