default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Hanus
Person information
- affiliation: University of Kiel, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j30]Michael Hanus
, Atsushi Igarashi:
Functional and logic programming: Selected papers of FLOPS 2022. Sci. Comput. Program. 238: 103129 (2024)- [c128]Michael Hanus:
Hybrid Verification of Declarative Programs with Arithmetic Non-fail Conditions. APLAS 2024: 109-129 - [c127]Michael Hanus:
Inferring Non-failure Conditions for Declarative Programs. FLOPS 2024: 167-187 - [c126]Michael Hanus:
Improving Logic Programs by Adding Functions. LOPSTR 2024: 27-44 - [i17]Michael Hanus:
Inferring Non-Failure Conditions for Declarative Programs. CoRR abs/2402.12960 (2024) - 2023
- [e16]Michael Hanus, Daniela Inclezan:
Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings. Lecture Notes in Computer Science 13880, Springer 2023, ISBN 978-3-031-24840-5 [contents] - 2022
- [j29]Michael Hanus:
From Logic to Functional Logic Programs. Theory Pract. Log. Program. 22(4): 538-554 (2022) - [c125]Michael Hanus, Kai-Oliver Prott, Finn Teegen:
A Monadic Implementation of Functional Logic Programs. PPDP 2022: 1:1-1:15 - [e15]Michael Hanus, Atsushi Igarashi:
Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings. Lecture Notes in Computer Science 13215, Springer 2022, ISBN 978-3-030-99460-0 [contents] - [i16]Michael Hanus:
From Logic to Functional Logic Programs. CoRR abs/2205.06841 (2022) - 2021
- [c124]Michael Hanus:
Lightweight Declarative Server-Side Web Programming. PADL 2021: 107-123 - [c123]Jonas Böhm, Michael Hanus, Finn Teegen:
From Non-determinism to Goroutines: A Fair Implementation of Curry in Go. PPDP 2021: 16:1-16:15 - [e14]Michael Hanus, Claudio Sacerdoti Coen:
Functional and Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12560, Springer 2021, ISBN 978-3-030-75332-0 [contents] - 2020
- [j28]Michael Hanus:
Combining Static and Dynamic Contract Checking for Curry. Fundam. Informaticae 173(4): 285-314 (2020) - [c122]Michael Hanus, Finn Teegen:
Memoized Pull-Tabbing for Functional Logic Programming. WFLP 2020: 57-73 - [i15]Michael Hanus, Finn Teegen:
Memoized Pull-Tabbing for Functional Logic Programming. CoRR abs/2008.11999 (2020) - [i14]Michael Hanus, Claudio Sacerdoti Coen:
Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020). CoRR abs/2009.01001 (2020)
2010 – 2019
- 2019
- [c121]Michael Hanus, Finn Teegen:
Adding Data to Curry. DECLARE 2019: 230-246 - [c120]Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby:
ICurry. DECLARE 2019: 286-307 - [c119]Michael Hanus:
Improving Residuation in Declarative Programs. PADL 2019: 82-97 - [i13]Michael Hanus, Finn Teegen:
Adding Data to Curry. CoRR abs/1908.10607 (2019) - [i12]Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby:
ICurry. CoRR abs/1908.11101 (2019) - [i11]Sergio Antoy, Michael Hanus:
Equivalence Checking of Non-deterministic Operations. CoRR abs/1909.09562 (2019) - 2018
- [c118]Sergio Antoy, Michael Hanus:
Equivalence Checking of Non-deterministic Operations. FLOPS 2018: 149-165 - [c117]Michael Hanus:
Verifying Fail-Free Declarative Programs. PPDP 2018: 12:1-12:13 - [c116]Sergio Antoy, Michael Hanus, Finn Teegen:
Synthesizing Set Functions. WFLP 2018: 93-111 - [e13]Dietmar Seipel, Michael Hanus, Salvador Abreu:
Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10997, Springer 2018, ISBN 978-3-030-00800-0 [contents] - [i10]Sergio Antoy, Michael Hanus, Finn Teegen:
Synthesizing Set Functions. CoRR abs/1808.07401 (2018) - 2017
- [j27]Sergio Antoy, Michael Hanus:
Transforming Boolean equalities into constraints. Formal Aspects Comput. 29(3): 475-494 (2017) - [j26]Sergio Antoy, Michael Hanus:
Default rules for Curry. Theory Pract. Log. Program. 17(2): 121-147 (2017) - [c115]Michael Hanus:
Semantic Versioning Checking in a Declarative Package Manager. ICLP (Technical Communications) 2017: 6:1-6:16 - [c114]Michael Hanus:
Combining Static and Dynamic Contract Checking for Curry. LOPSTR 2017: 323-340 - [c113]Sergio Antoy, Michael Hanus:
Eliminating Irrelevant Non-determinism in Functional Logic Programs. PADL 2017: 1-18 - [c112]Michael Hanus, Julia Krone:
A Typeful Integration of SQL into Curry. WLP / WFLP 2017: 104-119 - [c111]Sergio Antoy, Michael Hanus, Steven Libby:
Proving Non-Deterministic Computations in Agda. WLP / WFLP 2017: 180-195 - [i9]Michael Hanus:
Combining Static and Dynamic Contract Checking for Curry. CoRR abs/1709.04816 (2017) - 2016
- [c110]Michael Hanus:
CurryCheck: Checking Properties of Curry Programs. LOPSTR 2016: 222-239 - [c109]Sergio Antoy, Michael Hanus:
Default Rules for Curry. PADL 2016: 65-82 - [c108]Michael Hanus, Jan Rasmus Tikovsky:
A Parser Generator System for Level-based Programming Languages. Software Engineering (Workshops) 2016: 3-24 - [i8]Sergio Antoy, Michael Hanus:
Default Rules for Curry. CoRR abs/1605.01352 (2016) - [i7]Michael Hanus:
CurryCheck: Checking Properties of Curry Programs. CoRR abs/1608.05617 (2016) - 2015
- [c107]Sergio Antoy, Michael Hanus:
From Boolean Equalities to Constraints. LOPSTR 2015: 73-88 - [c106]Michael Hanus:
CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry. PADL 2015: 74-89 - 2014
- [j25]Michael Hanus, Sven Koschnicke:
An ER-based framework for declarative web programming. Theory Pract. Log. Program. 14(3): 269-291 (2014) - [c105]Michael Hanus, Fabian Skrlac:
A modular and generic analysis server system for functional logic programs. PEPM 2014: 181-188 - [c104]Michael Hanus, Björn Peemöller, Jan Rasmus Tikovsky:
Integration of Finite Domain Constraints in KiCS2. Software Engineering (Workshops) 2014: 151-170 - [c103]Michael Hanus:
Declarative Multi-paradigm Programming. WLP/WFLP 2014: 105-107 - [c102]Sergio Antoy, Michael Hanus:
Curry without Success. WLP/WFLP 2014: 140-154 - [c101]Michael Hanus, Björn Peemöller:
A Partial Evaluator for Curry. WLP/WFLP 2014: 155-171 - [p2]Michael Hanus:
Multiparadigm Languages. Computing Handbook, 3rd ed. (1) 2014: 66: 1-17 - [e12]Michael Hanus, Ricardo Rocha:
Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8439, Springer 2014, ISBN 978-3-319-08908-9 [contents] - 2013
- [j24]Michael Hanus:
Adding Plural Arguments to Curry Programs. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [c100]Michael Hanus:
Functional Logic Programming: From Theory to Curry. Programming Logics 2013: 123-168 - [c99]Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck:
Implementing Equational Constraints in a Functional Language. PADL 2013: 125-140 - [c98]Jan Christiansen, Michael Hanus, Fabian Reck, Daniel Seidel:
A semantics for weakly encapsulated search in functional logic programs. PPDP 2013: 49-60 - [i6]Michael Hanus, Fabian Reck:
A Generic Analysis Server System for Functional Logic Programs. CoRR abs/1307.4648 (2013) - 2012
- [c97]Sven Efftinge, Moritz Eysholdt, Jan Köhnlein, Sebastian Zarnekow, Robert von Massow, Wilhelm Hasselbring, Michael Hanus:
Xbase: implementing domain-specific languages for Java. GPCE 2012: 112-121 - [c96]Michael Hanus:
Improving Lazy Non-Deterministic Computations by Demand Analysis. ICLP (Technical Communications) 2012: 130-143 - [c95]Sergio Antoy, Michael Hanus:
Contracts and Specifications for Functional Logic Programming. PADL 2012: 33-47 - [c94]Michael Hanus, Björn Peemöller, Fabian Reck:
Search strategies for functional logic programming. Software Engineering (Workshops) 2012: 61-74 - 2011
- [j23]Steffen Mazanek, Michael Hanus:
Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language. J. Vis. Lang. Comput. 22(1): 66-89 (2011) - [c93]Michael Hanus:
Declarative Processing of Semistructured Web Data. ICLP (Technical Communications) 2011: 198-208 - [c92]Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck:
KiCS2: A New Compiler from Curry to Haskell. WFLP 2011: 1-18 - [c91]Sergio Antoy, Michael Hanus:
New Functional Logic Design Patterns. WFLP 2011: 19-34 - [e11]Peter Schneider-Kamp, Michael Hanus:
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark. ACM 2011, ISBN 978-1-4503-0776-5 [contents] - [i5]Michael Hanus, Sven Koschnicke:
An ER-based Framework for Declarative Web Programming. CoRR abs/1103.4133 (2011) - [i4]Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck:
Implementing Equational Constraints in a Functional Language. CoRR abs/1108.5609 (2011) - 2010
- [j22]Sergio Antoy, Michael Hanus:
Functional logic programming. Commun. ACM 53(4): 74-85 (2010) - [c90]Michael Hanus, Sven Koschnicke:
An ER-Based Framework for Declarative Web Programming. PADL 2010: 201-216 - [c89]Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck:
Transforming Functional Logic Programs into Monadic Functional Programs. WFLP 2010: 30-47 - [c88]Michael Hanus:
Lazy and Enforceable Assertions for Functional Logic Programs. WFLP 2010: 84-100
2000 – 2009
- 2009
- [c87]Walter Dosch, Michael Hanus:
Arbeitstagung Programmiersprachen (ATPS 2009) - Vorwort. GI Jahrestagung 2009: 362 - [c86]Michael Hanus, Christof Kluß:
Declarative Programming of User Interfaces. PADL 2009: 16-30 - [c85]Sergio Antoy, Michael Hanus:
Set functions for functional logic programming. PPDP 2009: 73-82 - [e10]Michael Hanus:
Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5438, Springer 2009, ISBN 978-3-642-00514-5 [contents] - [e9]Dietmar Seipel, Michael Hanus, Armin Wolf:
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 Papers. Lecture Notes in Computer Science 5437, Springer 2009, ISBN 978-3-642-00674-6 [contents] - 2008
- [c84]Bernd Braßel, Michael Hanus, Marion Müller:
High-Level Database Programming in Curry. PADL 2008: 316-332 - [c83]Michael Hanus:
Call pattern analysis for functional logic programs. PPDP 2008: 67-78 - 2007
- [c82]Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal:
Lazy call-by-value evaluation. ICFP 2007: 265-276 - [c81]Michael Hanus:
Multi-paradigm Declarative Languages. ICLP 2007: 45-75 - [c80]Michael Hanus:
Putting declarative programming into the web: translating curry to javascript. PPDP 2007: 155-166 - [e8]Michael Hanus:
Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Lecture Notes in Computer Science 4354, Springer 2007, ISBN 978-3-540-69608-7 [contents] - [i3]Bernd Braßel, Michael Hanus, Marion Müller:
Compiling ER Specifications into Declarative Programs. CoRR abs/0711.0348 (2007) - [i2]Michael Hanus:
A Generic Analysis Environment for Curry Programs. CoRR abs/cs/0701147 (2007) - 2006
- [j21]Michael Hanus:
Type-Oriented Construction of Web User Interfaces. Softwaretechnik-Trends 26(2) (2006) - [c79]Sergio Antoy, Michael Hanus:
Overlapping Rules and Logic Variables in Functional Logic Programs . ICLP 2006: 87-101 - [c78]Michael Hanus:
Type-oriented construction of web user interfaces. PPDP 2006: 27-38 - [c77]Michael Hanus:
Adding Constraint Handling Rules to Curry. WLP 2006: 81-90 - [c76]Michael Hanus:
Reporting Failures in Functional Logic Programs. WFLP 2006: 59-73 - 2005
- [j20]Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. 40(1): 795-829 (2005) - [j19]María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal:
Specialization of functional logic programs based on needed narrowing. Theory Pract. Log. Program. 5(3): 273-303 (2005) - [c75]Bernd Braßel, Michael Hanus:
Nondeterminism Analysis of Functional Logic Programs. ICLP 2005: 265-279 - [c74]Sergio Antoy, Michael Hanus:
Declarative Programming with Function Patterns. LOPSTR 2005: 6-22 - [c73]Michael Hanus:
A generic analysis environment for declarative programs. WCFLP 2005: 43-48 - [e7]Robby Bruce Findler, Michael Hanus, Simon Thompson:
Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, FDPE@ICFP 2005, Tallinn, Estonia, September 25 - 25, 2005. ACM 2005, ISBN 1-59593-067-1 [contents] - [e6]Sergio Antoy, Michael Hanus:
Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005. ACM 2005, ISBN 1-59593-069-8 [contents] - [e5]Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein:
Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3392, Springer 2005, ISBN 3-540-25560-5 [contents] - 2004
- [j18]Bernd Braßel, Michael Hanus, Frank Huch:
Encapsulating Non-Determinism in Functional Logic Computations. J. Funct. Log. Program. 2004 (2004) - [j17]Michael Hanus:
Dynamic Predicates in Functional Logic Programs. J. Funct. Log. Program. 2004 (2004) - [j16]Sergio Antoy, Michael Hanus:
Concurrent distinct choices. J. Funct. Program. 14(6): 657-668 (2004) - [c72]Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach:
A Virtual Machine for Functional Logic Computations. IFL 2004: 108-125 - [c71]Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal:
Run-Time Profiling of Functional Logic Programs. LOPSTR 2004: 182-197 - [c70]Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch:
Observing Functional Logic Computations. PADL 2004: 193-208 - [c69]Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal:
A semantics for tracing declarative multi-paradigm programs. PPDP 2004: 179-190 - [i1]María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal:
Specialization of Functional Logic Programs Based on Needed Narrowing. CoRR cs.PL/0403011 (2004) - 2003
- [j15]Elvira Albert, Michael Hanus, Germán Vidal:
A residualizing semantics for the partial evaluation of functional logic programs. Inf. Process. Lett. 85(1): 19-25 (2003) - [c68]Sergio Antoy, Bernd Brassel, Michael Hanus:
Conditional narrowing without conditions. PPDP 2003: 20-31 - [c67]Michael Hanus, Klaus Höppner, Frank Huch:
Towards translating embedded Curry to C. WFLP 2003: 35-51 - 2002
- [j14]Elvira Albert, Michael Hanus, Germán Vidal:
A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. J. Funct. Log. Program. 2002 (2002) - [c66]Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
A Deterministic Operational Semantics for Functional Logic Programs. APPIA-GULP-PRODE 2002: 207- - [c65]Sergio Antoy, Michael Hanus:
Functional Logic Design Patterns. FLOPS 2002: 67-87 - [c64]Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
Operational Semantics for Functional Logic Languages. WFLP 2002: 1-19 - [c63]Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
An Operational Semantics for Declarative Multi-Paradigm Languages. WRS 2002: 62-83 - [c62]Michael Hanus, Klaus Höppner:
Programming Autonomous Robots in Curry. WFLP 2002: 178-196 - [e4]Michael Hanus:
International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers. Electronic Notes in Theoretical Computer Science 64, Elsevier 2002 [contents] - 2001
- [j13]Michael Hanus, Salvador Lucas:
An Evaluation Semantics for Narrowing-Based Functional Logic Languages. J. Funct. Log. Program. 2001(2) (2001) - [c61]Elvira Albert, Michael Hanus, Germán Vidal:
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. FLOPS 2001: 326-342 - [c60]Michael Hanus, Johannes Koj:
An Integrated Development Environment for Declarative Multi-Paradigm Programming. WLPE 2001 - [c59]Michael Hanus:
High-Level Server Side Web Scripting in Curry. PADL 2001: 76-92 - [c58]Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner:
An Implementation of Narrowing Strategies. PPDP 2001: 207-217 - [c57]Michael Hanus:
Preface. WFLP 2001: 308-309 - [c56]Michael Hanus:
Reduction Strategies for Declarative Programming. WRS 2001: 184-191 - 2000
- [j12]Sergio Antoy, Rachid Echahed, Michael Hanus:
A needed narrowing strategy. J. ACM 47(4): 776-822 (2000) - [c55]Sergio Antoy, Michael Hanus:
Compiling Multi-Paradigm Declarative Programs into Prolog. FroCoS 2000: 171-185 - [c54]Michael Hanus, Frank Huch, Philipp Niederau:
ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. IFL 2000: 89-106 - [c53]Elvira Albert, Michael Hanus, Germán Vidal:
Using an Abstract Representation to Specialize Functional Logic Programs. LPAR 2000: 381-398 - [c52]Michael Hanus:
A Functional Logic Programming Approach to Graphical User Interfaces. PADL 2000: 47-62 - [c51]Michael Hanus, Frank Steiner:
Type-based nondeterminism checking in functional logic programs. PPDP 2000: 202-213 - [c50]Elvira Albert, Michael Hanus, Germán Vidal:
Realistic Program Specialization in a Multi-Paradigm Language. WFLP 2000: 104-119 - [c49]Michael Hanus:
Server Side Web Scripting in Curry. WFLP 2000: 366-381 - [c48]Michael Hanus:
Server Side Web Scripting in Curry. WLP 2000: 71-84 - [c47]Frank Steiner, Michael Hanus:
Type-based Nondeterminism Checking in Functional Logic Programs. WLP 2000: 135-148 - [c46]Michael Hanus:
TkCurry: A Declarative Approach to GUI Programming. WLP 2000: 149-160 - [c45]Michael Hanus:
PACS: The Portland Aachen Curry System. WLP 2000: 219-221
1990 – 1999
- 1999
- [j11]Michael Hanus, Ramin Sadre:
An Abstract Machine for Curry and Its Concurrent Implementation in Java. J. Funct. Log. Program. 1999(Special Issue 1) (1999) - [j10]Michael Hanus, Christian Prehofer:
Higher-Order Narrowing with Definitional Trees. J. Funct. Program. 9(1): 33-75 (1999) - [c44]Michael Hanus, Salvador Lucas:
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages. Fuji International Symposium on Functional and Logic Programming 1999: 353-368 - [c43]María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal:
Specialization of Inductively Sequential Functional Logic Programs. ICFP 1999: 273-283 - [c42]Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal:
A Partial Evaluation Framework for Curry Programs. LPAR 1999: 376-395 - [c41]Michael Hanus:
Distributed Programming in a Multi-Paradigm Declarative Language. PPDP 1999: 188-205 - 1998
- [j9]Michael Hanus, Salvador Lucas, Aart Middeldorp:
Strongly Sequential and Inductively Sequential Term Rewriting Systems. Inf. Process. Lett. 67(1): 1-8 (1998) - [c40]Michael Hanus, Frank Steiner:
Controlling Search in Funtional Logic Programs. IJCSLP 1998: 347-348 - [c39]Michael Hanus, Frank Steiner:
Controlling Search in Declarative Programs. PLILP/ALP 1998: 374-390 - 1997
- [j8]Michael Hanus:
Lazy Narrowing with Simplification. Comput. Lang. 23(2-4): 61-85 (1997) - [j7]Michael Hanus:
Integration of Declarative Paradigms: Benefits and Challenges. ACM SIGPLAN Notices 32(1): 77-79 (1997) - [c38]Michael Hanus:
A Unified Computation Model for Declarative Programming. APPIA-GULP-PRODE 1997: 9-24 - [c37]Sergio Antoy, Rachid Echahed, Michael Hanus:
Parallel Evaluation Strategies for Functional Logic Languages. ICLP 1997: 138-152 - [c36]Michael Hanus:
Teaching Functional and Logic Programming with a Single Computational Model. PLILP 1997: 335-350 - [c35]Michael Hanus:
A Unified Computation Model for Functional and Logic Programming. POPL 1997: 80-93 - [c34]Michael Hanus:
Multi-Paradigm Declarative Programming (Abstract). ILPS 1997: 43-45 - [c33]Michael Hanus:
Curry: A Multi-Paradigm Declarative Language (system description). WLP 1997 - [e3]Michael Hanus, Jan Heering, Karl Meinke:
Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997, Proceedings. Lecture Notes in Computer Science 1298, Springer 1997, ISBN 3-540-63459-2 [contents] - 1996
- [j6]Michael Hanus, Herbert Kuchen:
Integration of Functional and Logic Programming. ACM Comput. Surv. 28(2): 306-308 (1996) - [j5]Michael Hanus:
Integration of Declarative Paradigms: Benefits and Challenges. ACM Comput. Surv. 28(4es): 166 (1996) - [c32]Michael Hanus, Salvador Lucas:
A Denotational Semantics for Needed Narrowing. APPIA-GULP-PRODE 1996: 259-270 - [c31]Michael Hanus, Christian Prehofer:
Higher-Order Narrowing with Definitional Trees. RTA 1996: 138-152 - [e2]Michael Hanus, Mario Rodríguez-Artalejo:
Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings. Lecture Notes in Computer Science 1139, Springer 1996, ISBN 3-540-61735-3 [contents] - 1995
- [j4]Michael Hanus:
Analysis of Residuating Logic Programs. J. Log. Program. 24(3): 219-245 (1995) - [j3]Michael Hanus:
Compile-time Analysis of Nonlinear Constraints in CLP(R). New Gener. Comput. 13(2): 155-186 (1995) - [c30]Michael Hanus:
On Extra Variables in (Equational) Logic Programming. ICLP 1995: 665-679 - [c29]Michael Hanus:
Efficient Translation of Lazy Functional Logic Programs into Prolog. LOPSTR 1995: 252-266 - [c28]Michael Hanus:
Functional Logic Languages: Combine Search and Efficient Evaluation (Panel Abstract). ILPS 1995: 625-626 - 1994
- [j2]Michael Hanus:
The Integration of Functions into Logic Programming: From Theory to Practice. J. Log. Program. 19/20: 583-628 (1994) - [c27]Michael Hanus:
Towards the Global Optimization of Functional Logic Programs. CC 1994: 68-82 - [c26]Michael Hanus:
Lazy Unification with Simplification. ESOP 1994: 272-286 - [c25]Michael Hanus:
Combining Lazy Narrowing and Simplification. PLILP 1994: 370-384 - [c24]Sergio Antoy, Rachid Echahed, Michael Hanus:
A Needed Narrowing Strategy. POPL 1994: 268-279 - [c23]Michael Hanus, Frank Zartmann:
Mode Analysis of Functional Logic Programs. SAS 1994: 26-42 - [e1]Hassan Aït-Kaci, Michael Hanus, Juan José Moreno-Navarro:
Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994. Max-Planck-Institut für Informatik, Saarbrücken, Germany 1994 [contents] - 1993
- [c22]Michael Hanus:
Analysis of Nonlinear Constraints in CLP(R). ICLP 1993: 83-99 - [c21]Michael Hanus, Berthold Josephs:
A Debugging Model for Functional Logic Programs. PLILP 1993: 28-43 - [c20]Michael Hanus:
Combining Lazy Narrowing and Normalization. ILPS 1993: 673 - [c19]Michael Hanus:
Lazy Unification with Inductive Simplification. WLP 1993: 42-46 - 1992
- [c18]Michael Hanus:
Incremental Rewriting in Narrowing Derivations. ALP 1992: 228-243 - [c17]Michael Hanus:
On the Completeness of Residuation. JICSLP 1992: 192-206 - [c16]Michael Hanus, Berthold Josephs:
A Debugging Model for Functional Logic Programs. LPE 1992: 28-43 - [c15]Michael Hanus:
Improving Control of Logic Programs by Using Functional Logic Languages. PLILP 1992: 1-23 - [c14]Michael Hanus:
An Abstract Interpretation Algorithm for Residuating Logic Programs. WSA 1992: 304-312 - [p1]Michael Hanus:
Logic Programming with Type Specifications. Types in Logic Programming 1992: 91-140 - 1991
- [j1]Michael Hanus:
Horn Clause Programs with Polymorphic Types: Semantics and Resolution. Theor. Comput. Sci. 89(1): 63-106 (1991) - [c13]Michael Hanus:
Efficient Implementation of Narrowing and Rewriting. PDK 1991: 344-365 - [c12]Michael Hanus:
The ALF System: An Efficient Implementation of a Functional Logic Language. PDK 1991: 414-416 - [c11]Michael Hanus:
The ALF System. PLILP 1991: 423-424 - [c10]Michael Hanus:
Parametric Order-Sorted Types in Logic Programming. TAPSOFT, Vol.2 1991: 181-200 - 1990
- [c9]Michael Hanus:
Logic Programs with Equational Type Specifications (Extended Abstract). ALP 1990: 70-85 - [c8]Michael Hanus:
A Functional and Logic Language with Polymorphic Types (Extended Abstract). DISCO 1990: 215-224 - [c7]Michael Hanus:
Compiling Logic Programs with Equality. PLILP 1990: 387-400
1980 – 1989
- 1989
- [c6]Michael Hanus:
Polymorphic High-Order Programming in Prolog. ICLP 1989: 382-397 - [c5]Michael Hanus:
Horn Clause Programs with Polymorphic Types: Semantics and Resolution. TAPSOFT, Vol.2 1989: 225-240 - 1988
- [b1]Michael Hanus:
Horn clause specifications with polymorphic types. Technical University of Dortmund, Germany, 1988, pp. 1-149 - [c4]Michael Hanus:
Horn Clause Specifications with Polymorphic Types. ADT 1988 - [c3]Michael Hanus:
Formal Specification of a Prolog Compiler. PLILP 1988: 273-282 - 1986
- [c2]Michael Hanus:
Formatierer für Text und Graphik und ihre Implementierung mit Smalltalk-80. Graphik in Dokumenten 1986: 78-89 - 1985
- [c1]Harald Ganzinger, Michael Hanus:
Modular Logic Programming of Compilers. SLP 1985: 242-253
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-21 00:08 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:
