Frank Huch

Available identifiers

zbMath Open huch.frankMaRDI QIDQ2456573

List of research outcomes

Publication	Date of Publication	Type
Verification of Erlang programs using abstract interpretation and model checking	2016-09-01	Paper
Searching for deadlocks while debugging concurrent haskell programs	2015-03-09	Paper
A play on regular expressions	2015-03-05	Paper
Lazy call-by-value evaluation	2014-07-21	Paper
Declaring Numbers	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	2013-07-24	Paper
On a Tighter Integration of Functional and Logic Programming	2008-05-15	Paper
Run-Time Profiling of Functional Logic Programs	2008-04-24	Paper
Operational semantics for declarative multi-paradigm languages	2007-10-19	Paper
A Program Transformation for Tracing Functional Logic Computations	2007-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q3372485	2006-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4739563	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4738170	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q2763381	2002-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q2763383	2002-01-15	Paper

Research outcomes over time

This page was built for person: Frank Huch