GU - PDFSEARCH.IO - Document Search Engine

GU
Results: 5562

#	Item
11	Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Theoretical computer science Metaphysics Mathematical logic Temporal logic Computability theory Model theory Formal languages Finite-state machine Computation tree logic Abstraction Abstract interpretation IP
12	Verified Characteristic Formulae for CakeML Arma¨el Gu´eneau1 , Magnus O. Myreen2 , Ramana Kumar3 , and Michael Norrish4 1 2 Add to Reading List Source URL: cakeml.org Language: English - Date: 2017-02-10 09:57:53 Software engineering Computer programming Programming language theory Functional languages Procedural programming languages Logic in computer science Separation logic Substructural logic ColdFusion Markup Language Functional programming Theorem Type theory
13	PDF Document Add to Reading List Source URL: opac.seinan-gu.ac.jp - Date: 2016-12-14 20:22:00
14	PDF Document Add to Reading List Source URL: seinanmi.seinan-gu.ac.jp - Date: 2016-09-08 12:01:03
15	PDF Document Add to Reading List Source URL: seinanmi.seinan-gu.ac.jp - Date: 2017-06-13 09:49:30
16	PDF Document Add to Reading List Source URL: seinanmi.seinan-gu.ac.jp - Date: 2014-04-10 01:31:19
17	PDF Document Add to Reading List Source URL: opac.seinan-gu.ac.jp - Date: 2018-05-27 23:43:11
18	PDF Document Add to Reading List Source URL: www.seinan-gu.ac.jp - Date: 2017-09-04 19:13:08
19	PDF Document Add to Reading List Source URL: seinanmi.seinan-gu.ac.jp - Date: 2016-03-27 21:45:32
20	PDF Document Add to Reading List Source URL: opac.seinan-gu.ac.jp - Date: 2018-05-27 22:00:12