David Sabel

Computer Scientist

Home Research Publications Talks Teaching Software
Research Interests
  • Programming language semantics, operational semantics, contextual equivalence, abstract machines
  • Correctness of program transformations and optimizations, compiler correctness
  • Functional programming, concurrent programming, parallel programming
  • Deduction, logics, rewrite systems
Own projects
Other projects where I was involved
(c) 2016 PD Dr. David Sabel, Imprint, Last modified: $Author: sabel $, $Date: 2016/05/14 11:34:37 $