To appear in Formal Aspects of Computing Requirements, specifications and minimal refinement Nikos Gorogiannis† and Mark Ryan‡ †

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

Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute Palo Alto, CAUSA

Source URL: vstte.ethz.ch

Functional Dependencies (FDs) (Review) Schema Refinement and Normalization • A functional dependency X → Y holds over relation

Source URL: inst.eecs.berkeley.edu

Rely-Guarantee References for Refinement Types Over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu

Source URL: www.cs.drexel.edu

The crystal structure of carminite: refinement and bond valence calculations KHARISUN*, MAX R. TAYLOR, D. J. M BEVAN Department of Chemistry,

Source URL: rruff.info

Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013

Source URL: homes.cs.washington.edu

• Logic in computer science
• Program analysis
• Substructural logic
• Concurrent computing
• Aliasing
• Compiler construction
• Separation logic
• Alias
• Thread
• Assertion
• OCaml
• Type system

Guide lines for updating SkyTEM results with the new refined reference model November 2011 This note explains how to update the geometry file according to the refinement of the national TEM reference model (Lyngby, Aarhu

Source URL: www.hgg.geo.au.dk

enough to perform mitzvos and distance oneself from sin; one must achieve a level of kedushah, sanctity and adinus, spiritual refinement. Veritably, what distinguishes us most from other nations and cultures is our emuna

Source URL: www.hac1.org

Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system

Source URL: flint.cs.yale.edu

• Formal methods
• Logic in computer science
• Models of computation
• Programming language semantics
• Abstraction
• Kernel
• Abstract state machines
• Semantics
• Denotational semantics
• Operational semantics
• Refinement
• Limit