GrammaTech

file

Through the Lens of Abstraction

Submitted by brad_martin on Tue, 04/22/2014 - 12:04pm. 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

Submitted by TimTh on Tue, 05/08/2012 - 12:01am. Contributors:

Presented as part of the 2012 HCSS conference.

David Melski, melski@grammatech.com, GrammaTech, Inc.

file

Submitted by TimTh on Tue, 05/01/2012 - 5:47pm. Contributor:

Abstract:

file

Submitted by TimTh on Wed, 08/24/2011 - 9:17am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Submitted by TimTh on Thu, 06/30/2011 - 10:27am. Contributor: