Cormac - PDFSEARCH.IO - Document Search Engine

Cormac
Results: 158

#	Item
1	1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A. Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Software engineering Formal methods Mathematical logic Type theory Theoretical computer science Type systems Edsger W. Dijkstra Predicate transformer semantics Extended static checking ESC/Java Type inference HindleyMilner type system
2	SoK: Science, Security, and the Elusive Goal of Security as a Scientific Pursuit Cormac Herley P.C. van Oorschot Add to Reading List Source URL: www.microsoft.com Language: English - Date: 2018-01-04 02:56:22 Philosophy Epistemology Philosophy of science Epistemology of science Analytic philosophy Scientific method Falsifiability Science Hypothetico-deductive model Scientific theory Occam's razor Theory
3	SoK: Science, Security, and the Elusive Goal of Security as a Scientific Pursuit Cormac Herley P.C. van Oorschot Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 16:02:01 Philosophy Epistemology Philosophy of science Epistemology of science Analytic philosophy Scientific method Falsifiability Science Hypothetico-deductive model Scientific theory Occam's razor Theory
4	CQ100 Transceiver For Amateur Radio Copyright (C) 2006, 2007 Cormac Technologies Inc. 28 N. Cumberland St. Thunder Bay ON, P7A 4K9, Canada Add to Reading List Source URL: qsonet.com Language: English - Date: 2011-08-15 16:17:31
5	Science of Computer Programming–165 www.elsevier.com/locate/scico Type inference against races Cormac Flanagan a,∗ , Stephen N. Freund b a Computer Science Department, University of California at Santa Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2018-08-12 09:38:05
6	Hybrid Types, Invariants, and Refinements For Imperative Objects Cormac Flanagan Stephen N. Freund Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2018-08-12 09:37:30
7	Thread-Modular Verification For Shared-Memory Programs1 Cormac Flanagan, Stephen N. Freund, and Shaz Qadeer Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CAAbstract. Ensuring the reliability of mult Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2018-08-12 09:37:24
8	Theoretical Computer Science – 183 www.elsevier.com/locate/tcs Modular veriﬁcation of multithreaded programs Cormac Flanagana,∗,1 , Stephen N. Freundb,1 , Shaz Qadeerc , Sanjit A. Seshiad,2 Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2018-08-12 09:38:32
9	Compositional and Decidable Checking for Dependent Contract Types Kenneth Knowles Cormac Flanagan Add to Reading List Source URL: kennknowles.com - Date: 2011-11-04 03:44:32
10	Temporal Higher-Order Contracts Tim Disney, Cormac Flanagan, Jay McCarthy This material is based upon work supported by the National Science Foundation under Grantsand Add to Reading List Source URL: jeapostrophe.github.io - Date: 2018-04-03 12:30:31

UPDATE