Specifications and Requirements (HCSS'14)

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.