Hoare - PDFSEARCH.IO - Document Search Engine

Hoare
Results: 233

#	Item
191	Grant Agreement: [removed]Comprehensive Modelling for Advanced Systems of Systems CML Definition 3 – Denotational Semantics Deliverable Number: D23.4a Version: 0.7 Add to Reading List Source URL: www.compass-research.eu Language: English - Date: 2014-01-16 05:35:54 Programming language semantics Logic in computer science Models of computation Formal methods Denotational semantics Unifying Theories of Programming Hoare logic Semantics Operational semantics Theoretical computer science Computer science Applied mathematics
192	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: 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
193	Dependent Type Theory of Stateful Higher-Order Functions Aleksandar Nanevski and Greg Morrisett Harvard University {aleks\|greg}@eecs.harvard.edu January 6, 2006 Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Predicate logic Formal methods Models of computation Hoare logic Separation logic Monad First-order logic Mathematical logic Mathematics Logic
194	Towards Type-theoretic Semantics for Transactional Concurrency Aleksandar Nanevski Microsoft Research, Cambridge [removed] Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Formal methods Models of computation Hoare logic Separation logic Combinatory logic First-order logic Lambda calculus Mathematical logic Theoretical computer science Logic
195	A Realizability Model for Impredicative Hoare Type Theory Rasmus Lerchedahl Petersen1 , Lars Birkedal1 , Aleksandar Nanevski2 , and Greg Morrisett2 1 Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Continuous function Valuation Impredicativity Orbifold Denotational semantics Mathematics Logic in computer science Calculus
196	Type-theoretic semantics for transactional concurrency Aleksandar Nanevski Paul Govereau Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Program logic Logic in computer science Procedural programming languages Formal methods Models of computation Hoare logic Separation logic First-order logic ALGOL 68 Mathematical logic Logic Theoretical computer science
197	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: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Type theory Formal methods Models of computation Functional languages Program logic Hoare logic Lambda calculus Type system Function Programming language theory Mathematics Software engineering
198	Polymorphism and Separation in Hoare Type Theory Aleksandar Nanevski Greg Morrisett Harvard University Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Models of computation Programming language semantics Formal methods Denotational semantics Separation logic Hoare logic Lambda calculus Mathematical logic Theoretical computer science Logic
199	Ynot : Reasoning with the Awkward Squad Aleksandar Nanevski Microsoft Research [removed] Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:56 Logic Formal methods Logic in computer science Procedural programming languages Predicate transformer semantics Separation logic Hoare logic Vienna Development Method Forcing Mathematical logic Program logic Theoretical computer science
200	Dependent Type Theory of Stateful Higher-Order Functions Aleksandar Nanevski and Greg Morrisett Harvard University {aleks\|greg}@eecs.harvard.edu Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Program logic Predicate logic Formal methods Logic in computer science Computability theory Hoare logic Lambda calculus First-order logic Separation logic Mathematical logic Mathematics Logic

UPDATE