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
Projects
Own projects
Other projects where I was involved
(c) 2018 PD Dr. David Sabel, Imprint, Privacy Policy Last modified: $Author: sabel $, $Date: 2018/04/10 13:02:19 $