Academia

The document was issued by academy or academy organization.
file

Visible to the public Ad Hoc Data: An Opportunity for Domain-Specific Languages

Submitted by kathleen.fisher on Wed, 08/24/2011 - 6:08pm. Contributor:

Presented as part of the 2004 HCSS conference.

file

Visible to the public Theorem Provers as High Assurance Programming Environments

Submitted by TimTh on Wed, 08/24/2011 - 5:58pm. Contributor:

Presented as part of the 2004 HCSS conference.

file

Visible to the public Flexible Formal Methods for High Assurance: The Maude Experience

Submitted by Jose Meseguer on Wed, 08/24/2011 - 5:53pm. Contributor:

Presented as part of the 2004 HCSS conference.

file

Visible to the public Programatic Development Environment

Submitted by TimTh on Wed, 08/24/2011 - 8:25am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Verified ARM Implementations

Submitted by TimTh on Wed, 08/24/2011 - 8:22am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Narrowing Reachability Analysis

Submitted by Jose Meseguer on Wed, 08/24/2011 - 8:21am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Cyclone: A Type-Safe Dialect of C

Submitted by TimTh on Wed, 08/24/2011 - 8:18am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Function Extraction for Malicious Code: The FX/MC Project

Submitted by TimTh on Wed, 08/24/2011 - 8:10am. Contributor: