Academia

The document was issued by academy or academy organization.
file

Visible to the public Through the Lens of Abstraction

Submitted by brad_martin on Tue, 04/22/2014 - 11:04am. Contributors:

Presented as part of the 2014 HCSS conference.

This talk deals with the use of abstraction in two areas of automated reasoning: verification of programs, and decision procedures for logics.

file

Visible to the public Local Temporal Reasoning

Submitted by brad_martin on Tue, 04/22/2014 - 10:58am. Contributors:

Presented as part of the 2014 HCSS conference.

Abstract:

Programming languages that use higher-order functionality (e.g. Java, C#, F#, Haskell, Ocaml, Perl, Python, Ruby) have become commonplace. Higher-order language features such as map, grep, Google's Map/Reduce, are used widely and applauded for their simplicity and modularity.

file

Visible to the public arch14_submission_13.pdf

Submitted by frehse on Fri, 04/11/2014 - 11:31am

This version of the benchmark fixes a typo (minus sign) in eq (2).

file

Visible to the public Computers Yet to Come

Submitted by Katie Dey on Mon, 03/17/2014 - 11:41am. Contributor: