Michael Hanus - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2009

Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected PapersMichael Hanus, editor, Volume 5438 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected PapersDietmar Seipel, Michael Hanus, Armin Wolf, editors, Volume 5437 of Lecture Notes in Computer Science, Springer, 2009. [doi]

2008

High-Level Database Programming in CurryBernd Braßel, Michael Hanus, Marion Müller. padl 2008: 316-332 [doi]

2007

Lazy call-by-value evaluationBernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal. ICFP 2007: 265-276 [doi]

Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007Michael Hanus, editor, Volume 4354 of Lecture Notes in Computer Science, Springer, 2007.

Multi-paradigm Declarative LanguagesMichael Hanus. ICLP 2007: 45-75 [doi]

2006

Adding Constraint Handling Rules to CurryMichael Hanus. wlp 2006: 81-90 [doi]

2005

2004

2003

A residualizing semantics for the partial evaluation of functional logic programsElvira Albert, Michael Hanus, Germán Vidal. ipl, 85(1):19-25, 2003. [doi]

Towards translating embedded Curry to CMichael Hanus, Klaus Höppner, Frank Huch. ENTCS, 86(3), 2003. [doi]

2002

2001

A Practical Partial Evaluator for a Multi-Paradigm Declarative LanguageElvira Albert, Michael Hanus, Germán Vidal. FLOPS 2001: 326-342 [doi]

An Implementation of Narrowing StrategiesSergio Antoy, Michael Hanus, Bart Massey, Frank Steiner. ppdp 2001: 207-217

An Evaluation Semantics for Narrowing-Based Functional Logic LanguagesMichael Hanus, Salvador Lucas. jflp, 2001(2), 2001.

2000

1999

1998

Controlling Search in Funtional Logic ProgramsMichael Hanus, Frank Steiner. ICLP 1998: 347-348

Strongly Sequential and Inductively Sequential Term Rewriting SystemsMichael Hanus, Salvador Lucas, Aart Middeldorp. ipl, 67(1):1-8, 1998. [doi]

1997

1996

Integration of Declarative Paradigms: Benefits and ChallengesMichael Hanus. ACM Comput. Surv., 28(4es):166, 1996.

A Denotational Semantics for Needed NarrowingMichael Hanus, Salvador Lucas. agp 1996: 259-270

Integration of Functional and Logic ProgrammingMichael Hanus, Herbert Kuchen. ACM Comput. Surv., 28(2):306-308, 1996.

1995

On Extra Variables in (Equational) Logic ProgrammingMichael Hanus. ICLP 1995: 665-679

1994

A Needed Narrowing StrategySergio Antoy, Rachid Echahed, Michael Hanus. POPL 1994: 268-279

Combining Lazy Narrowing and SimplificationMichael Hanus. plilp 1994: 370-384

Towards the Global Optimization of Functional Logic ProgramsMichael Hanus. cc 1994: 68-82

The Integration of Functions into Logic Programming: From Theory to PracticeMichael Hanus. jlp, 19/20:583-628, 1994.

1993

Lazy Unification with Inductive SimplificationMichael Hanus. wlp 1993: 42-46

A Debugging Model for Functional Logic ProgramsMichael Hanus, Berthold Josephs. plilp 1993: 28-43

Analysis of Nonlinear Constraints in CLP(R)Michael Hanus. ICLP 1993: 83-99

1992

Improving Control of Logic Programs by Using Functional Logic LanguagesMichael Hanus. plilp 1992: 1-23

Logic Programming with Type SpecificationsMichael Hanus. In Types in Logic Programming. pages 91-140, 1992.

Incremental Rewriting in Narrowing DerivationsMichael Hanus. icalp 1992: 228-243

1991

Horn Clause Programs with Polymorphic Types: Semantics and ResolutionMichael Hanus. TCS, 89(1):63-106, 1991.

Efficient Implementation of Narrowing and RewritingMichael Hanus. pdk 1991: 344-365

1990

A Functional and Logic Language with Polymorphic Types (Extended Abstract)Michael Hanus. disco 1990: 215-224

1989

Horn Clause Programs with Polymorphic Types: Semantics and ResolutionMichael Hanus. tapsoft 1989: 225-240

1985

Modular Logic Programming of CompilersHarald Ganzinger, Michael Hanus. slp 1985: 242-253