Semantics-aware program sampling Pratiksha Thaker Stanford University

Source URL: www.microsoft.com

• Mathematical analysis
• Probability theory
• Statistical theory
• Categorical data
• Categorical distribution
• Uniform distribution
• Bayesian network
• Infinitely divisible probability distributions

Functional Big-step Semantics Scott Owens1 , Magnus O. Myreen2 , Ramana Kumar3 , and Yong Kiam Tan4 1 2

Source URL: cakeml.org

• Theoretical computer science
• Logic
• Mathematical logic
• Logic in computer science
• Formal methods
• Programming language semantics
• Philosophical logic
• Models of computation
• Operational semantics
• Denotational semantics
• Standard ML
• Kripke semantics

Coping with Inconsistent Databases Semantics, Algorithms, and Complexity Phokion G. Kolaitis University of California Santa Cruz and

Source URL: sat2016.labri.fr

• Database theory
• Computing
• Data management
• Information science
• Conjunctive query
• Relational model
• Boolean conjunctive query
• Relational database
• FO
• Functional dependency
• Query language

An Operational Semantics for Simulink’s Simulation Engine Olivier Bouissou Alexandre Chapoutot CEA LIST, DILS/LMeASI – Point Courrier 174,

Source URL: perso.ensta-paristech.fr

arXiv:1608.01654v2 [cs.PL] 7 NovHypercollecting Semantics and its Application to Static Analysis of Information Flow Mounir Assaf

Source URL: arxiv.org

HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1

Source URL: cakeml.org

• Mathematical logic
• Metalogic
• Logic
• Model theory
• Logic in computer science
• Proof theory
• Proof assistants
• Programming language semantics
• HOL
• Operational semantics
• Gdel's completeness theorem
• Type theory

The Formal Semantics and Evolution of the F? Verification System October 11, Relational reasoning in F? : devising scalable verification techniques for properties of multiple program executions (e.g., confidentia

Source URL: prosecco.gforge.inria.fr

• Software engineering
• Computer programming
• Computing
• Functional programming
• Logic in computer science
• Functional languages
• Formal methods
• Type theory
• Monad
• F*
• Predicate transformer semantics
• Haskell

An Operational Semantics for JavaScript? Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Functional languages
• High-level programming languages
• Object-oriented programming
• Data types
• Programming paradigms
• JavaScript
• Scope
• Operational semantics
• Semantics

Semantics of Interaction Samson Abramsky Abstract The “classical” paradigm for denotational semantics models data types as domains, i.e. structured sets of some kind, and programs as (suitable) functions between doma

Source URL: www.cs.ox.ac.uk

• Theoretical computer science
• Logic in computer science
• Programming language semantics
• Models of computation
• Game theory
• Semantics
• Denotational semantics
• Game semantics
• Determinacy
• Samson Abramsky
• Operational semantics

Architectural Semantics for Practical Transactional Memory

Source URL: www.austenmcdonald.com

• Transaction processing
• Computing
• Data management
• Data
• Concurrency control
• Nested transaction
• Database transaction
• Software transactional memory
• Atomicity
• Transactional memory
• Isolation
• Linearizability