<--- Back to Details
First PageDocument Content
Software engineering / Computing / Programming language theory / Type theory / Formal methods / Functional languages / Procedural programming languages / Data types / Type system / F Sharp / HindleyMilner type system / First-order logic
Date: 2012-02-28 13:28:34
Software engineering
Computing
Programming language theory
Type theory
Formal methods
Functional languages
Procedural programming languages
Data types
Type system
F Sharp
HindleyMilner type system
First-order logic

Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research

Add to Reading List

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

Download Document from Source Website

File Size: 360,71 KB

Share Document on Facebook

Similar Documents

Alloy as an Introduction to Formal Methods

Alloy as an Introduction to Formal Methods

DocID: 1xVY1 - View Document

Integrated Formal Methods

Integrated Formal Methods

DocID: 1xVBb - View Document

Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

DocID: 1xUHE - View Document

Formal Methods in System Design manuscript No. (will be inserted by the editor) Inferring Event Stream Abstractions Sean Kauffman · Klaus Havelund · Rajeev Joshi · Sebastian Fischmeister

Formal Methods in System Design manuscript No. (will be inserted by the editor) Inferring Event Stream Abstractions Sean Kauffman · Klaus Havelund · Rajeev Joshi · Sebastian Fischmeister

DocID: 1xUCm - View Document

Formal Methods in System Design manuscript No.  (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ

Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ

DocID: 1xUrV - View Document