BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hanus:Michael

Facilitated 5 volumes:

PPDP 2011Ed
LOPSTR 2008Ed
PADL 2007Ed
ALP/HOA 1997Ed
ALP 1996Ed

Contributed to:

PADL 20152015
PEPM 20142014
PADL 20132013
PPDP 20132013
GPCE 20122012
ICLP 20122012
PADL 20122012
ICLP 20112011
PADL 20102010
PADL 20092009
PPDP 20092009
PADL 20082008
PPDP 20082008
ICFP 20072007
ICLP 20072007
PPDP 20072007
ICLP 20062006
PPDP 20062006
ICLP 20052005
LOPSTR 20052005
IFL 20042004
LOPSTR 20042004
PADL 20042004
PPDP 20042004
PPDP 20032003
FLOPS 20022002
FLOPS 20012001
PADL 20012001
PPDP 20012001
IFL 20002000
PADL 20002000
PPDP 20002000
FLOPS 19991999
ICFP 19991999
PPDP 19991999
ALP/PLILP 19981998
JICSLP 19981998
ICLP 19971997
ILPS 19971997
PLILP 19971997
POPL 19971997
RTA 19961996
ICLP 19951995
LOPSTR 19951995
CC 19941994
ESOP 19941994
PLILP 19941994
POPL 19941994
SAS 19941994
ICLP 19931993
ILPS 19931993
PLILP 19931993
ALP 19921992
JICSLP 19921992
PLILP 19921992
WSA 19921992
PLILP 19911991
ALP 19901990
PLILP 19901990
PLILP 19881988
SLP 19851985
TAPSOFT, Vol.2: CCIPL 19891989
TAPSOFT, Vol.2: CCPSD 19911991
PPDP 20182018

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.