Exercise 11: Counting 1 The goal of this exercise is to understand the consistency properties of the bounded max register implementation from the lecture. a) Show that if one always writes to R< if i < M , regardless of

Source URL: resources.mpi-inf.mpg.de

• Concurrency control
• Computing
• Computer architecture
• Computer engineering
• Linearizability
• Safe semantics
• Processor register
• Shared register
• Atomic semantics

Aspects Made Explicit for Safe Transactional Semantics Kevin Hoffman Purdue University 1. Introduction

Source URL: www.kevinjhoffman.com

Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML ∗ Steven E. Ganz †

Source URL: www.cs.rice.edu

• Functional languages
• Transformation languages
• Procedural programming languages
• Denotational semantics
• Hygienic macro
• Macro
• Inline expansion
• Standard ML
• Racket
• Software engineering
• Computing
• Computer programming

Safe|A Semantic Technique for Transforming Programs in the Presence of Errors ALEXANDER AIKEN University of California, Berkeley and JOHN H. WILLIAMS and EDWARD L. WIMMERS

Source URL: theory.stanford.edu

• Logic in computer science
• Functions and mappings
• Recursion
• Standard ML
• FP
• Type system
• Denotational semantics
• Combinatory logic
• Expression
• Software engineering
• Programming language theory
• Computing

Safe Formulas in the General Theory of Stable Models (Preliminary Report) Joohyung Lee1 , Vladimir Lifschitz2 , and Ravi Palla1 1 2

Source URL: www.cs.utexas.edu

• Predicate logic
• Model theory
• Logical syntax
• Formal languages
• First-order logic
• Interpretation
• Stable model semantics
• Function
• Well-formed formula
• Logic
• Mathematical logic
• Mathematics

The VLDB Journal[removed]:279–302 DOI[removed]s00778[removed]SPECIAL ISSUE PAPER Quantifying eventual consistency with PBS

Source URL: www.bailis.org

• Data
• Information
• Quorum
• Consistency model
• Eventual consistency
• Apache Cassandra
• Regular semantics
• Safe semantics
• Atomic semantics
• Data management
• Concurrency control
• Transaction processing

TRIOO Keeping the Semantics of Data Safe and Sound into Object-Oriented Software Sergio Fern´andez, Diego Berrueta Fundaci´on CTIC, C/ Ada Byron 39, Parque Cient´ıfico y Tecnol´ogico, Gij´on, Asturias, Spain sergio

Source URL: trioo.wikier.org

• Data
• RDF
• Resource Description Framework
• Triplestore
• Web Ontology Language
• SPARQL
• RDF Schema
• RDF query language
• Jena
• Semantic Web
• Computing
• Data management

Belief contraction through safe formulas Viktoriia Kozyreva Ufa State Aviation Technical University Ufa, Russia Center for Artificial Intelligence (CENTRIA), New University of Lisbon,

Source URL: gregorywheeler.org

• Standard translation
• Belief revision
• First-order logic
• Accessibility relation
• Interpretation
• Modal operator
• Modal companion
• Kripke semantics
• Logic
• Mathematical logic
• Modal logic