Bernd Fischer

MaRDI QIDQ1994366zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
SETHEO goes software engineering: application of ATP to software reuse Automated Deduction—CADE-14	2019-10-01	Paper
Preemptive type checking Journal of Logical and Algebraic Methods in Programming	2018-11-01	Paper
Preemptive Type Checking in Dynamically Typed Languages Theoretical Aspects of Computing – ICTAC 2013	2013-10-04	Paper
Interpreting abstract interpretations in membership equational logic Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
Explaining Verification Conditions Algebraic Methodology and Software Technology	2009-01-27	Paper
Automated Reasoning Lecture Notes in Computer Science	2007-09-25	Paper
Logic Based Program Synthesis and Transformation Lecture Notes in Computer Science	2005-12-27	Paper
scientific article; zbMATH DE number 2090151 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2090308 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2080292 (Why is no real title available?)	2004-08-04	Paper
AutoBayes: a system for generating data analysis programs from statistical models Journal of Functional Programming	2003-01-01	Paper
Deduction-based software component retrieval	2001-11-06	Paper
scientific article; zbMATH DE number 1543299 (Why is no real title available?)	2001-02-27	Paper

Research outcomes over time

This page was built for person: Bernd Fischer