David Sabel

David Sabel Computer Scientist
Home Research Publications Talks Teaching Software
Research Interests Projects	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 Observational Correctness of Programming Language Translations Other projects where I was involved Automatic Correctness Proofs of Program Transformations Direct-Call I/O Approach modelled using Non-Determinism
(c) 2016 PD Dr. David Sabel, Imprint, Last modified: $Author: sabel $, $Date: 2016/05/14 11:34:37 $