Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington

First Page		Document Content
Date: 2018-09-27 23:32:05 Formal methods Software engineering Computing Logic in computer science Non-interference Exception handling Formal verification Refinement Thread Futures and promises Covert channel Application programming interface		Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington Add to Reading List Source URL: unsat.cs.washington.edu Download Document from Source Website File Size: 408,14 KB Share Document on Facebook

	C++ Exception Handling for IA-64 Christophe de Dinechin Hewlett-Packard IA-64 Foundation Lab Abstract The C++ programming language offers a feature DocID: 1xVT7 - View Document
	Delft University of Technology Software Engineering Research Group Technical Report Series Exception Handling Bug Hazards in Android: Results from a Mining Study DocID: 1sSzf - View Document
	WG14 N1841 - Alternate Exception Handling Syntax for C Notes for TSPart 5 Supplementary attributes What syntax should be used to express IEEEalternate exception handling in C? The C Floating Point group DocID: 1spkG - View Document
	Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley DocID: 1rtHp - View Document