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
Adding concrete syntax to a Prolog-based program synthesis system (extended abstract) Lecture Notes in Computer Science	2005-12-27	Paper
Adding concrete syntax to a Prolog-based program synthesis system (extended abstract) Lecture Notes in Computer Science	2005-12-27	Paper
Synthesizing certified code Lecture Notes in Computer Science	2004-08-12	Paper
Synthesizing certified code Lecture Notes in Computer Science	2004-08-12	Paper
AutoBayes/CC -- combining program synthesis with automatic code certification -- system description Lecture Notes in Computer Science	2004-08-12	Paper
AutoBayes/CC -- combining program synthesis with automatic code certification -- system description Lecture Notes in Computer Science	2004-08-12	Paper
Generating data analysis programs from statistical models (position paper) Lecture Notes in Computer Science	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