BibSLEIGH — Michael

Travelled to:

1 × Canada
1 × Estonia
1 × Poland
1 × The Netherlands
14 × USA
2 × Hungary
2 × Portugal
2 × Sweden
3 × Belgium
4 × Japan
5 × France
5 × Germany
5 × Spain
5 × United Kingdom
7 × Italy

Collaborated with:

∅ S.Antoy B.Braßel F.Steiner F.Huch G.Vidal S.Lucas R.Echahed F.Skrlac F.Reck S.Koschnicke C.Kluß C.Prehofer F.Zartmann B.Josephs H.Ganzinger M.Müller E.Albert P.Niederau B.Peemöller J.Christiansen D.Seidel J.Liu A.P.Tolmach O.Chitil B.Massey M.Alpuente S.Fischer J.Silva S.Efftinge M.Eysholdt J.Köhnlein S.Zarnekow R.v.Massow W.Hasselbring

Talks about:

program (37) logic (32) function (26) declar (13) languag (9) narrow (8) analysi (7) curri (7) paradigm (6) multi (6)

Person: Michael Hanus

DBLP: Hanus:Michael

Facilitated 5 volumes:

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991

1990

1988

1985

1989

1991

2018

Wrote 64 papers:

PADL-2015-Hanus #compilation #constraints: CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry (MH), pp. 74–89.
PEPM-2014-HanusS #analysis #composition #functional #logic programming #source code: A modular and generic analysis server system for functional logic programs (MH, FS), pp. 181–188.
PADL-2013-BrasselHPR #constraints #equation #functional #implementation: Implementing Equational Constraints in a Functional Language (BB, MH, BP, FR), pp. 125–140.
PPDP-2013-ChristiansenHRS #encapsulation #functional #logic programming #semantics #source code: A semantics for weakly encapsulated search in functional logic programs (JC, MH, FR, DS), pp. 49–60.
GPCE-2012-EfftingeEKZMHH #domain-specific language #implementation #java #named: Xbase: implementing domain-specific languages for Java (SE, ME, JK, SZ, RvM, WH, MH), pp. 112–121.
ICLP-2012-Hanus #analysis #lazy evaluation #nondeterminism: Improving Lazy Non-Deterministic Computations by Demand Analysis (MH), pp. 130–143.
PADL-2012-AntoyH #contract #functional #logic programming #specification: Contracts and Specifications for Functional Logic Programming (SA, MH), pp. 33–47.
ICLP-2011-Hanus #declarative #web: Declarative Processing of Semistructured Web Data (MH), pp. 198–208.
PADL-2010-HanusK #declarative #framework #programming #web: An ER-Based Framework for Declarative Web Programming (MH, SK), pp. 201–216.
PADL-2009-HanusK #declarative #programming #user interface: Declarative Programming of User Interfaces (MH, CK), pp. 16–30.
PPDP-2009-AntoyH #functional #logic programming #set: Set functions for functional logic programming (SA, MH), pp. 73–82.
PADL-2008-BrasselHM #database #programming: High-Level Database Programming in Curry (BB, MH, MM), pp. 316–332.
PPDP-2008-Hanus #analysis #functional #logic programming #source code: Call pattern analysis for functional logic programs (MH), pp. 67–78.
ICFP-2007-BrasselHFHV #call-by #evaluation #lazy evaluation: Lazy call-by-value evaluation (BB, MH, SF, FH, GV), pp. 265–276.
ICLP-2007-Hanus #declarative #multi: Multi-paradigm Declarative Languages (MH), pp. 45–75.
PPDP-2007-Hanus #declarative #javascript #programming #web: Putting declarative programming into the web: translating curry to javascript (MH), pp. 155–166.
ICLP-2006-AntoyH #functional #logic programming #source code: Overlapping Rules and Logic Variables in Functional Logic Programs (SA, MH), pp. 87–101.
PPDP-2006-Hanus #type system #user interface #web: Type-oriented construction of web user interfaces (MH), pp. 27–38.
ICLP-2005-BrasselH #analysis #functional #logic programming #nondeterminism #source code: Nondeterminism Analysis of Functional Logic Programs (BB, MH), pp. 265–279.
LOPSTR-2005-AntoyH #declarative #programming: Declarative Programming with Function Patterns (SA, MH), pp. 6–22.
IFL-2004-AntoyHLT #functional #logic #virtual machine: A Virtual Machine for Functional Logic Computations (SA, MH, JL, APT), pp. 108–125.
LOPSTR-2004-BrasselHHSV #functional #logic programming #profiling #runtime #source code: Run-Time Profiling of Functional Logic Programs (BB, MH, FH, JS, GV), pp. 182–197.
PADL-2004-BrasselCHH #functional #logic: Observing Functional Logic Computations (BB, OC, MH, FH), pp. 193–208.
PPDP-2004-BrasselHHV #declarative #multi #semantics #source code: A semantics for tracing declarative multi-paradigm programs (BB, MH, FH, GV), pp. 179–190.
PPDP-2003-AntoyBH: Conditional narrowing without conditions (SA, BB, MH), pp. 20–31.
FLOPS-2002-AntoyH #design pattern #functional #logic: Functional Logic Design Patterns (SA, MH), pp. 67–87.
FLOPS-2001-AlbertHV #declarative #multi: A Practical Partial Evaluator for a Multi-Paradigm Declarative Language (EA, MH, GV), pp. 326–342.
PADL-2001-Hanus #web: High-Level Server Side Web Scripting in Curry (MH), pp. 76–92.
PPDP-2001-AntoyHMS #implementation: An Implementation of Narrowing Strategies (SA, MH, BM, FS), pp. 207–217.
IFL-2000-HanusHN #declarative #multi #named #object-oriented: ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry (MH, FH, PN), pp. 89–106.
PADL-2000-Hanus #approach #functional #logic programming #user interface #visual notation: A Functional Logic Programming Approach to Graphical User Interfaces (MH), pp. 47–62.
PPDP-2000-HanusS #functional #logic programming #nondeterminism #source code #type system: Type-based nondeterminism checking in functional logic programs (MH, FS), pp. 202–213.
FLOPS-1999-HanusL #functional #logic #program analysis #semantics: A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages (MH, SL), pp. 353–368.
ICFP-1999-AlpuenteHLV #functional #logic programming #source code: Specialization of Inductively Sequential Functional Logic Programs (MA, MH, SL, GV), pp. 273–283.
PPDP-1999-Hanus #declarative #distributed #multi #programming: Distributed Programming in a Multi-Paradigm Declarative Language (MH), pp. 188–205.
ALP-PLILP-1998-HanusS #declarative #source code: Controlling Search in Declarative Programs (MH, FS), pp. 374–390.
JICSLP-1998-HanusS #logic programming #source code: Controlling Search in Funtional Logic Programs (MH, FS), pp. 347–348.
ICLP-1997-AntoyEH #evaluation #functional #logic #parallel: Parallel Evaluation Strategies for Functional Logic Languages (SA, RE, MH), pp. 138–152.
ILPS-1997-Hanus #declarative #multi #programming: Multi-Paradigm Declarative Programming (MH), pp. 43–45.
PLILP-1997-Hanus #education #functional #logic programming: Teaching Functional and Logic Programming with a Single Computational Model (MH), pp. 335–350.
POPL-1997-Hanus #functional #logic programming: A Unified Computation Model for Functional and Logic Programming (MH), pp. 80–93.
RTA-1996-HanusP #higher-order: Higher-Order Narrowing with Definitional Trees (MH, CP), pp. 138–152.
ICLP-1995-Hanus #equation #logic programming #on the: On Extra Variables in (Equational) Logic Programming (MH), pp. 665–679.
LOPSTR-1995-Hanus #functional #lazy evaluation #logic programming #performance #prolog #source code: Efficient Translation of Lazy Functional Logic Programs into Prolog (MH), pp. 252–266.
CC-1994-Hanus #functional #logic programming #optimisation #source code #towards: Towards the Global Optimization of Functional Logic Programs (MH), pp. 68–82.
ESOP-1994-Hanus #lazy evaluation #unification: Lazy Unification with Simplification (MH), pp. 272–286.
PLILP-1994-Hanus #lazy evaluation: Combining Lazy Narrowing and Simplification (MH), pp. 370–384.
POPL-1994-AntoyEH: A Needed Narrowing Strategy (SA, RE, MH), pp. 268–279.
SAS-1994-HanusZ #analysis #functional #logic programming #source code: Mode Analysis of Functional Logic Programs (MH, FZ), pp. 26–42.
ICLP-1993-Hanus #analysis #constraints: Analysis of Nonlinear Constraints in CLP(R) (MH), pp. 83–99.
ILPS-1993-Hanus #lazy evaluation #normalisation: Combining Lazy Narrowing and Normalization (MH), p. 673.
PLILP-1993-HanusJ #debugging #functional #logic programming #source code: A Debugging Model for Functional Logic Programs (MH, BJ), pp. 28–43.
ALP-1992-Hanus #incremental: Incremental Rewriting in Narrowing Derivations (MH), pp. 228–243.
JICSLP-1992-Hanus #on the: On the Completeness of Residuation (MH), pp. 192–206.
PLILP-1992-Hanus #functional #logic programming #source code #using: Improving Control of Logic Programs by Using Functional Logic Languages (MH), pp. 1–23.
WSA-1992-Hanus #abstract interpretation #algorithm #logic programming #source code: An Abstract Interpretation Algorithm for Residuating Logic Programs (MH), pp. 304–312.
PLILP-1991-Hanus: The ALF System (MH), pp. 423–424.
ALP-1990-Hanus #equation #logic programming #source code #specification: Logic Programs with Equational Type Specifications (MH), pp. 70–85.
PLILP-1990-Hanus #compilation #logic programming #similarity #source code: Compiling Logic Programs with Equality (MH), pp. 387–400.
PLILP-1988-Hanus #compilation #prolog #specification: Formal Specification of a Prolog Compiler (MH), pp. 273–282.
SLP-1985-GanzingerH85 #compilation #composition #logic programming: Modular Logic Programming of Compilers (HG, MH), pp. 242–253.
CCIPL-1989-Hanus #horn clause #polymorphism #semantics #source code: Horn Clause Programs with Polymorphic Types: Semantics and Resolution (MH), pp. 225–240.
CCPSD-1991-Hanus #logic programming #order #parametricity: Parametric Order-Sorted Types in Logic Programming (MH), pp. 181–200.
PPDP-2018-Hanus #declarative #source code #verification: Verifying Fail-Free Declarative Programs (MH), p. 13.