Concepedia

David Sabel

DS

10

Publications

209

Citations

10

H-Index

2007

Active since

Affiliations

Goethe University Frankfurt(Current)

David Sabel is an author at Goethe University Frankfurt specializing in automated reasoning, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceSemanticsProgram AnalysisFormal VerificationLanguageLinguisticsSoftware Analysis

Publications per year

2007–2015

10

Publications

10

A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations

David Sabel, Manfred Schmidt-Schauß · Mathematical Structures in Computer Science · 2008 · 38 citations

Mathematical Programming, Engineering, Verification +22

Safety of Nöcker's strictness analysis

Manfred Schmidt-Schauß, David Sabel, Marko Schütz · Journal of Functional Programming · 2007 · 36 citations · Full text

A contextual semantics for concurrent Haskell with futures

David Sabel, Manfred Schmidt-Schauß · 2011 · 32 citations

Concurrent Futures, Engineering, Operational Semantics +15

Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures

Joachim Niehren, David Sabel, Manfred Schmidt-Schauß et al. · Electronic Notes in Theoretical Computer Science · 2007 · 22 citations · Full text

Observational Semantics, Engineering, Reference Cells +16

On generic context lemmas for higher-order calculi with sharing

Manfred Schmidt-Schauß, David Sabel · Theoretical Computer Science · 2009 · 19 citations

Generic Context Lemmas, Engineering, Automated Reasoning +4

Rows per page

1–5 of 10