Hoare - PDFSEARCH.IO - Document Search Engine

Hoare
Results: 233

#	Item
161	The "Hoare Logic" of CSP, and All That LESLIE LAMPORT SRI International and FRED B. SCHNEIDER Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 10:44:16 Program logic Concurrent computing Hoare logic Logic programming Communicating sequential processes Modal logic KeY Guarded Command Language Well-formed formula Logic Theoretical computer science Mathematics
162	Contextual Reasoning in the Verification of PRS Agent Programs Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 09:39:58 Problem solving Cognitive architecture Multi-agent systems Management Project management Procedural reasoning system Reasoning system Logic programming Hoare logic Artificial intelligence Science Logic
163	Constraints: A Uniform Approach to Aliasing and Typing Fred B. Schneider+ Cornell University Leslie Lamport * Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 13:13:38 Program logic Model theory Hoare logic Function Universal quantification Aliasing Interpretation Propositional calculus Independence Mathematical logic Mathematics Logic
164	Flaim_Hoare_LE Due Diligence Recommendations for ICANN_ws2 Add to Reading List Source URL: www.coe.int Language: English - Date: 2010-03-26 07:23:13 Regional Internet Registries Internet standards Internet in the United States ICANN Domain name Internet Assigned Numbers Authority Whois AfriNIC Latin America and Caribbean Network Information Centre Internet Internet governance Domain name system
165	http://golang.org Thursday, July 22, 2010 Go Rob Pike Emerging Languages Add to Reading List Source URL: cdn.oreillystatic.com Language: English - Date: 2010-07-22 14:57:53 Concurrent computing Procedural programming languages Process calculi Communicating sequential processes Occam Go Parallel computing Thread Tony Hoare Computing Software engineering Computer programming
166	The Invariant Game Matteo Vaccari [removed] XP Day Eindhoven, 20 November 2008 Add to Reading List Source URL: matteo.vaccari.name Language: English - Date: 2008-11-24 09:30:00 Logic in computer science Program logic Hoare logic Computer programming Postcondition Precondition ALGOL 68 Initialization Invariant Software engineering Theoretical computer science Computing
167	T h e F l o r a o f T h e St i p e r s t o n e s ~ 2009 ~ Sarah Whild & Alex Lockton With contributions from Mags Cousins, Hugh Cutler, Mark Duffell, Jane Gosling, Pamela Green, Llewelyn Guest, Maurice Hoare, Charlotte H Add to Reading List Source URL: www.bsbi.org.uk Language: English - Date: 2014-09-29 06:22:11 National Nature Reserves in England Stiperstones Snailbeach Long Mynd Ratlinghope Lycopodium clavatum Carex binervis Shropshire Geography of England Geography of the United Kingdom
168	New Flora of Attingham Park Sarah Whild & Alex Lockton with survey work and contributions by Hugh Cutler, Mark Duffell, Glenys Evans, Ruth Goodison, Pam Green, Llew Guest, Maurice Hoare, Vivienne Hodges, Jane Ing, Ray Kn Add to Reading List Source URL: www.bsbi.org.uk Language: English - Date: 2014-09-29 06:10:28 Woodland California Geography of California Geography of the United States Ornithology Seabirds Tern K1
169	Logical Concurrency Control From Sequential Proofs Jyotirmoy Deshmukh1 , G. Ramalingam2 , Venkatesh-Prasad Ranganath2 , and Kapil Vaswani2 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-05-20 00:44:54 Concurrency control Concurrent computing Program logic Logic programming Concurrency Hoare logic Thread safety Parallel computing Linearizability Computing Computer programming Software engineering
170	Ethiopia invaded by Mussolini[removed]:55 PM Ethiopia invaded by Mussolini Italy lost its Ethiopia colony in Africa at 1896 Battle of Adua Add to Reading List Source URL: www.iupui.edu Language: English - Date: 2011-01-06 15:13:36 Prime Ministers of Italy Italian East Africa Benito Mussolini Second Italo-Abyssinian War Hoare–Laval Pact Battle of Adwa Haile Selassie I League of Nations Ethiopia Government Italy Politics

UPDATE