default search action
Frank Huch
Person information
- affiliation: University of Kiel, Department of Computer Science, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c33]Marcus Riemer
, Frank Huch
Generating syntaxfree development environments for real world programming languages. CSERC 2022: 1-12
2010 – 2019
- 2012
- [c32]Frank Huch, Janis Voigtländer:
5. Arbeitstagung Programmiersprachen (ATPS 2012). Software Engineering 2012: 195 - 2010
- [c31]Sebastian Fischer, Frank Huch, Thomas Wilke:
A play on regular expressions: functional pearl. ICFP 2010: 357-368
2000 – 2009
- 2008
- [e3]Frank Huch, Adam Parkin:
Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008. ACM 2008, ISBN 978-1-60558-068-5 [contents] - 2007
- [c30]Olaf Chitil, Frank Huch:
Monadic, Prompt Lazy Assertions in Haskell. APLAS 2007: 38-53 - [c29]Bernd Braßel, Frank Huch:
On a Tighter Integration of Functional and Logic Programming. APLAS 2007: 122-138 - [c28]Frank Huch:
Learning programming with Erlang. Erlang Workshop 2007: 93-99 - [c27]Bernd Braßel, Michael Hanus
Lazy call-by-value evaluation. ICFP 2007: 265-276 - [c26]Bernd Brassel, Frank Huch:
The Kiel Curry System KiCS. INAP/WLP 2007: 195-205 - [c25]Bernd Braßel, Sebastian Fischer, Frank Huch:
Declaring Numbers. WFLP@RDP 2007: 111-124 - 2006
- [j4]Frank Huch:
Dynamische Deadlock-Suche in nebenläufigen funktionalen Programmen. Softwaretechnik-Trends 26(2) (2006) - [j3]Frank Huch, Frank Kupke:
Haskell Transaktionen in verteilten Systemen. Softwaretechnik-Trends 26(2) (2006) - [c24]Olaf Chitil, Frank Huch:
A Pattern Logic for Prompt Lazy Assertions in Haskell. IFL 2006: 126-144 - [c23]Bernd Brassel, Sebastian Fischer, Frank Huch:
A Program Transformation for Tracing Functional Logic Computations. LOPSTR 2006: 160-176 - [c22]Jan Christiansen, Frank Huch:
A purely functional implementation of ROBDDs in Haskell. Trends in Functional Programming 2006: 55-71 - [c21]Parissa H. Sadeghi, Frank Huch:
The Interactive Curry Observation Debugger iCODE. WFLP 2006: 107-122 - [e2]Andrew Butterfield
Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers. Lecture Notes in Computer Science 4015, Springer 2006, ISBN 3-540-69174-X [contents] - 2005
- [j2]Elvira Albert, Michael Hanus
Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. 40(1): 795-829 (2005) - [c20]Rudolf Berghammer, Frank Huch:
From functional to object-oriented programming: a smooth transition for beginners. FDPE@ICFP 2005: 3-8 - [c19]Frank Huch, Frank Kupke:
A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell. IFL 2005: 124-141 - [c18]Bernd Braßel, Frank Huch:
Translating curry to haskell system demo. WCFLP 2005: 60-65 - [e1]Clemens Grelck, Frank Huch, Greg Michaelson, Philip W. Trinder:
Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3474, Springer 2005, ISBN 3-540-26094-3 [contents] - 2004
- [j1]Bernd Braßel, Michael Hanus, Frank Huch:
Encapsulating Non-Determinism in Functional Logic Computations. J. Funct. Log. Program. 2004 (2004) - [c17]Frank Huch:
Model Checking Erlang Programs - LTL-Propositions and Abstract Interpretation. GI Jahrestagung (2) 2004: 438-448 - [c16]Jan Christiansen, Frank Huch:
Searching for deadlocks while debugging concurrent haskell programs. ICFP 2004: 28-39 - [c15]Bernd Brassel, Michael Hanus
Run-Time Profiling of Functional Logic Programs. LOPSTR 2004: 182-197 - [c14]Bernd Brassel, Olaf Chitil, Michael Hanus
Observing Functional Logic Computations. PADL 2004: 193-208 - [c13]Bernd Brassel, Michael Hanus
A semantics for tracing declarative multi-paradigm programs. PPDP 2004: 179-190 - [c12]Volker Stolz, Frank Huch:
Runtime Verification of Concurrent Haskell Programs. RV@ETAPS 2004: 201-216 - 2003
- [c11]Michael Hanus
Towards translating embedded Curry to C. WFLP 2003: 35-51 - 2002
- [c10]Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
A Deterministic Operational Semantics for Functional Logic Programs. APPIA-GULP-PRODE 2002: 207- - [c9]Anupriya Ankolekar, Frank Huch, Katia P. Sycara:
Concurrent Semantics for the Web Services Specification Language DAML-S. COORDINATION 2002: 14-21 - [c8]Anupriya Ankolekar, Frank Huch, Katia P. Sycara:
Concurrent Execution Semantics of DAML-S with Subtypes. ISWC 2002: 318-332 - [c7]Elvira Albert, Michael Hanus
Operational Semantics for Functional Logic Languages. WFLP 2002: 1-19 - [c6]Elvira Albert, Michael Hanus
An Operational Semantics for Declarative Multi-Paradigm Languages. WRS 2002: 62-83 - 2001
- [b1]Frank Huch:
Verification of Erlang programs using abstract interpretation and model checking. RWTH Aachen University, Germany, 2001, pp. 1-148 - [c5]Frank Huch:
Model Checking Erlang Programs - Abstracting Recursive Function Calls. WFLP 2001: 195-219 - [c4]Frank Huch:
Model checking Erlang programs - abstracting the context-free structure. Workshop on Software Model Checking @ CAV 2001: 304-321 - 2000
- [c3]Michael Hanus
ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. IFL 2000: 89-106 - [c2]Frank Huch, Ulrich Norbisrath:
Distributed Programming in Haskell with Ports. IFL 2000: 107-121
1990 – 1999
- 1999
- [c1]Frank Huch:
Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. ICFP 1999: 261-272
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: