Hoare - PDFSEARCH.IO - Document Search Engine

Hoare
Results: 233

#	Item
41	Certificates and Separation Logic Martin Nordio1 , Cristiano Calcagno2 , and Bertrand Meyer1 1 2 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-06-20 06:07:02 Logic Theoretical computer science Mathematical logic Logic in computer science Java bytecode Hoare logic Interpretation Separation logic Bytecode Model theory
42	Microsoft Word - hoare, Belton House, Sdoc Add to Reading List Source URL: scriptorium.english.cam.ac.uk Language: English - Date: 2009-09-21 05:14:53
43	GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation Derek Dreyer Ar tifact Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2014-08-18 18:05:40 Software engineering Mathematical logic Computing Concurrency Logic in computer science Computer memory First-order logic Predicate logic Memory model Hoare logic Lock FO
44	Communicating Sequential Processes C. A. R. Hoare June 21, 2004 Add to Reading List Source URL: usingcsp.com Language: English - Date: 2004-06-21 06:17:39
45	HERTFORDSHIRE INDOOR BOWLS ASSOCIATION PRESIDENT : Terry Barker: Hatfield IBC H. I.B.A v H B A ( Peter Hoare trophy) Venue: Add to Reading List Source URL: www.hertsiba.co.uk Language: English - Date: 2015-11-29 10:26:21
46	The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17
47	Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski Amal Ahmed Greg Morrisett Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2006-11-13 17:44:08
48	Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005 Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:04
49	A Compositional Natural Semantics and Hoare Logic for Low-Level Languages 1 Ando Saabas 2 and Tarmo Uustalu ∗,2 Institute of Cybernetics at Tallinn University of Technology Akadeemia tee 21, EETallinn, Estonia R Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2006-10-16 19:31:58
50	Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski1 , Amal Ahmed2 , Greg Morrisett1 , and Lars Birkedal3 1 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2007-01-04 11:41:57

UPDATE