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

Source URL: www.olejohandahl.info

• Formal methods
• Monitor
• Hoare logic
• Invariant
• Loop invariant
• Flag semaphore
• Variable
• ALGOL 68
• Predicate transformer semantics

DRAFT: Please do not distribute without permission. Thanks! A New Axiomatic Semantics for Semantic Web Languages Christopher Menzel and (eventually!) Patrick Hayes

Source URL: philebus.tamu.edu

Local Actions for a Curry-style Operational Semantics ∗ Gordon Stewart Andrew W. Appel Princeton University, Princeton, NJ, USA

Source URL: www.cs.princeton.edu

• 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

CS256: Programming Languages and Semantics Introduction to Axiomatic Semantics http://www.eecs.harvard.edu/~ greg/cs256sp2006/ Greg Morrisett

Source URL: www.eecs.harvard.edu

A Practical Logic Framework for Verifying Safety Properties of Executables Lu Zhao Guodong Li

Source URL: www.cs.utah.edu

• Mathematics
• Hoare logic
• Separation logic
• Axiomatic semantics
• Assertion
• Postcondition
• Precondition
• Judgment
• Rust
• Theoretical computer science
• Logic in computer science
• Mathematical logic

An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C Robbert Krebbers ∗ ICIS, Radboud University Nijmegen, The Netherlands

Source URL: robbertkrebbers.nl

• Logic in computer science
• Forcing
• Deduction
• Combinatory logic
• Lambda calculus
• Denotational semantics
• Valuation
• Symbol
• Entailment
• Logic
• Abstract algebra
• Mathematical logic

h hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh Chapter 10 ❖

Source URL: www.nondot.org

• Logic in computer science
• Programming language semantics
• Quotient
• Remainder
• Divisor
• Denotational semantics
• Operational semantics
• Function
• Axiomatic semantics
• Mathematics
• Theoretical computer science
• Division

An Axiomatic Semantics for RDF, RDF-S, and DAML+OIL Richard Fikes Deborah L McGuinness Knowledge Systems Laboratory Computer Science Department Stanford University

Source URL: www.ksl.stanford.edu

• Semantic Web
• Model theory
• Z notation
• First-order logic
• Predicate logic
• Resource Description Framework
• S
• Axiom
• Type theory
• Mathematical logic
• Logic
• Mathematics

Technical Report UCAM-CL-TR-453 ISSN[removed]Number 453

Source URL: www.cl.cam.ac.uk

• 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