Hoare - PDFSEARCH.IO - Document Search Engine

Hoare
Results: 233

#	Item
111	Edited by Rüdiger Frank, James E. Hoare, Patrick Köllner and Susan Pares book series Add to Reading List Source URL: ecos.univie.ac.at Language: English - Date: 2011-09-07 09:07:42 Political geography South Korea Rüdiger Frank Brill Publishers North Korea Political philosophy Divided regions Member states of the United Nations Republics
112	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-07-29 10:40:50 Applied mathematics Computing Formal verification Model checking Programming tool Programming language Exception handling Device driver synthesis and verification Computer-aided software engineering Formal methods Logic in computer science Theoretical computer science
113	INVARIANT RELATIONS: EVERYTHING YOU ALWAYS WANTED TO KNOW ABOUT LOOPS Ali Mili, NJIT NII, Tokyo, Japan December 27, 2011 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:57 Quadratic forms Surgery theory Differential geometry Hoare logic Plancherel theorem for spherical functions Invariant Mathematics Program logic
114	! ! Contribution!of!the! AI4FM!2014! Workshop! Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2014-05-08 12:11:09 Formal methods Formal sciences Mathematical logic Logic in computer science Correctness Termination analysis Hoare logic Automated theorem proving Logical framework Mathematics Theoretical computer science Applied mathematics
115	A Verified Formal Model of a VC Generator R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:38:35 Applied mathematics Mathematics Program logic Model theory Hoare logic Syntactic predicate Formal verification Programming language Semantics of programming languages Theoretical computer science Formal methods Logic in computer science
116	Report of the 2nd Meeting of the UK Interferometry Forum held at the IoA on 31 October 2003 Present: Dr M Hoare, Leeds (chair); Professor J Drew, ICSTM; Dr A Greenaway, Heriott-Watt; Dr P O’Brien, Leicester; Dr A Z Add to Reading List Source URL: www.ast.leeds.ac.uk Language: English - Date: 2004-08-10 06:00:07 Science European Southern Observatory Very Large Telescope Astronomical interferometer Radio telescopes ASTRON MERLIN Adaptive optics PIONIER Telescopes Observational astronomy Astronomy
117	Freedom 2.0 Mail System Roger McFarlane – [removed] Adam Back – [removed] Graydon Hoare – [removed] Serge Chevarie-Pelletier – [removed] Bill Heelan – b Add to Reading List Source URL: www.cypherspace.org Language: English - Date: 2003-11-23 22:37:32 Internet Simple Mail Transfer Protocol Message transfer agent Qmail Extended SMTP Email client Post Office Protocol Microsoft Mail Pseudonymous remailer Email Computer-mediated communication Computing
118	Report of the 2nd Meeting of the UK Interferometry Forum held at the IoA on 31 October 2003 Present: Dr M Hoare, Leeds (chair); Professor J Drew, ICSTM; Dr A Greenaway, Heriott-Watt; Dr P O’Brien, Leicester; Dr A Zijls Add to Reading List Source URL: www.ast.leeds.ac.uk Language: English - Date: 2004-08-10 06:00:08 Science European Southern Observatory Very Large Telescope Astronomical interferometer Radio telescopes ASTRON MERLIN Adaptive optics PIONIER Telescopes Observational astronomy Astronomy
119	Microsoft PowerPoint - iccad08-tutorial-ALL [Compatibility Mode] Add to Reading List Source URL: www.ece.vt.edu Language: English - Date: 2012-10-24 15:39:27 Formal methods Program logic Logic in computer science Electronic design automation NP-complete problems Hoare logic Boolean satisfiability problem Control flow Correctness Theoretical computer science Applied mathematics Mathematics
120	Separation Logic for Small-step Cminor Andrew W. Appel1,? and Sandrine Blazy2,? 1 Princeton University 2 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2008-06-30 05:17:26 Deduction Logic in computer science Entailment Logical consequence Model theory Symbol Separation logic Hoare logic Logic Metalogic Program logic

UPDATE