Michael Hanus

Available identifiers

zbMath Open hanus.michaelWikidataQ102389783 ScholiaQ102389783MaRDI QIDQ293291

List of research outcomes

Publication	Date of Publication	Type
Equivalence Checking of Non-deterministic Operations	2023-03-30	Paper
Higher-order narrowing with definitional trees	2022-12-09	Paper
From Logic to Functional Logic Programs	2022-09-30	Paper
Logic programs with equational type specifications	2022-08-16	Paper
Combining Static and Dynamic Contract Checking for Curry	2020-11-16	Paper
Combining static and dynamic contract checking for Curry	2018-09-06	Paper
Default rules for Curry	2017-11-09	Paper
CurryCheck: checking properties of Curry programs	2017-10-13	Paper
Transforming Boolean equalities into constraints	2017-06-01	Paper
Specialization of inductively sequential functional logic programs	2016-09-01	Paper
Strongly sequential and inductively sequential term rewriting systems	2016-06-09	Paper
From Boolean Equalities to Constraints	2016-02-05	Paper
A needed narrowing strategy	2015-12-17	Paper
Lazy call-by-value evaluation	2014-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5398051	2014-02-25	Paper
Reporting Failures in Functional Logic Programs	2014-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q2844055	2013-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q2843603	2013-08-23	Paper
Reduction Strategies for Declarative Programming	2013-07-24	Paper
Functional Logic Programming: From Theory to Curry	2013-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q2909159	2012-08-29	Paper
Transforming Functional Logic Programs into Monadic Functional Programs	2011-05-27	Paper
Multi-paradigm Declarative Languages	2009-03-05	Paper
Declarative Programming with Function Patterns	2009-01-15	Paper
Run-Time Profiling of Functional Logic Programs	2008-04-24	Paper
Overlapping Rules and Logic Variables in Functional Logic Programs	2008-03-11	Paper
A Virtual Machine for Functional Logic Computations	2007-10-23	Paper
Operational semantics for declarative multi-paradigm languages	2007-10-19	Paper
Logic Programming	2006-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3372484	2006-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q3372485	2006-02-21	Paper
Specialization of functional logic programs based on needed narrowing	2006-02-08	Paper
FUNCTIONAL PEARL Concurrent distinct choices	2005-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4413065	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4409152	2003-06-30	Paper
A residualizing semantics for the partial evaluation of functional logic programs.	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2766794	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2767032	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2763647	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2763381	2002-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q2729761	2001-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q2736364	2001-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q2726287	2001-07-31	Paper
https://portal.mardi4nfdi.de/entity/Q4944888	2000-12-12	Paper
The integration of functions into logic programming: From theory to practice	2000-08-14	Paper
Higher-order narrowing with definitional trees	1999-06-28	Paper
Lazy narrowing with simplification	1998-11-01	Paper
Analysis of residuating logic programs	1997-03-20	Paper
https://portal.mardi4nfdi.de/entity/Q4281583	1994-03-10	Paper
Horn clause programs with polymorphic types: Semantics and resolution	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3200537	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael Hanus