Axiomatic semantics - PDFSEARCH.IO - Document Search Engine

Axiomatic semantics
Results: 12

#	Item
1	1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Formal methods Monitor Hoare logic Invariant Loop invariant Flag semaphore Variable ALGOL 68 Predicate transformer semantics
2	DRAFT: Please do not distribute without permission. Thanks! A New Axiomatic Semantics for Semantic Web Languages Christopher Menzel and (eventually!) Patrick Hayes Add to Reading List Source URL: philebus.tamu.edu Language: English - Date: 2009-08-07 09:30:38
3	Local Actions for a Curry-style Operational Semantics ∗ Gordon Stewart Andrew W. Appel Princeton University, Princeton, NJ, USA Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-11-22 11:49:24 Logic Theoretical computer science Logic in computer science Mathematical logic Programming language semantics Philosophical logic Non-classical logic Operational semantics Semantics Kripke semantics Modal logic Axiomatic semantics
4	CS256: Programming Languages and Semantics Introduction to Axiomatic Semantics http://www.eecs.harvard.edu/~ greg/cs256sp2006/ Greg Morrisett Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2006-02-15 10:45:17
5	A Practical Logic Framework for Verifying Safety Properties of Executables Lu Zhao Guodong Li Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2011-08-02 14:55:47 Mathematics Hoare logic Separation logic Axiomatic semantics Assertion Postcondition Precondition Judgment Rust Theoretical computer science Logic in computer science Mathematical logic
6	An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C Robbert Krebbers ∗ ICIS, Radboud University Nijmegen, The Netherlands Add to Reading List Source URL: robbertkrebbers.nl Language: English - Date: 2013-11-12 14:05:28 Logic in computer science Forcing Deduction Combinatory logic Lambda calculus Denotational semantics Valuation Symbol Entailment Logic Abstract algebra Mathematical logic
7	h hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh Chapter 10 ❖ Add to Reading List Source URL: www.nondot.org Language: English - Date: 2001-03-26 23:04:40 Logic in computer science Programming language semantics Quotient Remainder Divisor Denotational semantics Operational semantics Function Axiomatic semantics Mathematics Theoretical computer science Division
8	An Axiomatic Semantics for RDF, RDF-S, and DAML+OIL Richard Fikes Deborah L McGuinness Knowledge Systems Laboratory Computer Science Department Stanford University Add to Reading List Source URL: www.ksl.stanford.edu Language: English - Date: 2003-02-26 18:55:11 Semantic Web Model theory Z notation First-order logic Predicate logic Resource Description Framework S Axiom Type theory Mathematical logic Logic Mathematics
9	Technical Report UCAM-CL-TR-453 ISSN[removed]Number 453 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2002-02-04 10:59:46 Applied mathematics Mathematics Denotational semantics Semantics of programming languages Operational semantics Axiomatic semantics Semantics Type safety Programming language Theoretical computer science Logic in computer science Programming language semantics

UPDATE