Frank Huch

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
Verification of Erlang programs using abstract interpretation and model checking Proceedings of the fourth ACM SIGPLAN international conference on Functional programming	2016-09-01	Paper
Searching for deadlocks while debugging Concurrent Haskell programs Proceedings of the ninth ACM SIGPLAN international conference on Functional programming	2015-03-09	Paper
A play on regular expressions: functional pearl Proceedings of the 15th ACM SIGPLAN international conference on Functional programming	2015-03-05	Paper
Lazy call-by-value evaluation Proceedings of the 12th ACM SIGPLAN international conference on Functional programming	2014-07-21	Paper
Declaring numbers Electronic Notes in Theoretical Computer Science	2014-03-26	Paper
Towards translating embedded Curry to C	2013-08-27	Paper
An operational semantics for declarative multi-paradigm languages	2013-08-23	Paper
Model checking Erlang programs -- abstracting recursive function calls Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
On a Tighter Integration of Functional and Logic Programming Programming Languages and Systems	2008-05-15	Paper
Run-Time Profiling of Functional Logic Programs Logic Based Program Synthesis and Transformation	2008-04-24	Paper
Operational semantics for declarative multi-paradigm languages Journal of Symbolic Computation	2007-10-19	Paper
A Program Transformation for Tracing Functional Logic Computations Logic-Based Program Synthesis and Transformation	2007-09-10	Paper
scientific article; zbMATH DE number 5007864 (Why is no real title available?)	2006-02-21	Paper
scientific article; zbMATH DE number 2088359 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2087387 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1691458 (Why is no real title available?)	2002-01-15	Paper
scientific article; zbMATH DE number 1691459 (Why is no real title available?)	2002-01-15	Paper

Research outcomes over time

This page was built for person: Frank Huch