David Sabel

David Sabel Computer Scientist
Home Research Publications Talks Teaching Software
Research Interests Projects	Research Interests Formal semantics, operational semantics, contextual equivalence, abstract machines Type systems, typing of programming language Verification and correctness of programs program transformations and optimizations, compiler correctness Functional programming, concurrent programming, parallel programming (Automated) deduction, nominal techniques, 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) 2018 PD Dr. David Sabel, Imprint, Privacy Policy Last modified: $Author: sabel $, $Date: 2019/01/22 13:09:51 $