| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sergio Antoy, Michael Hanus |
Contracts and Specifications for Functional Logic Programming.  |
PADL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Björn Peemöller, Fabian Reck |
Search strategies for functional logic programming. |
Software Engineering (Workshops) |
2012 |
DBLP BibTeX RDF |
|
| 1 | Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck |
Implementing Equational Constraints in a Functional Language |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus, Sven Koschnicke |
An ER-based Framework for Declarative Web Programming |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Steffen Mazanek, Michael Hanus |
Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language. |
J. Vis. Lang. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Declarative Processing of Semistructured Web Data. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schneider-Kamp, Michael Hanus (eds.) |
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark |
PPDP |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck |
KiCS2: A New Compiler from Curry to Haskell. |
WFLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Michael Hanus |
New Functional Logic Design Patterns. |
WFLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Michael Hanus |
Functional logic programming. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Sven Koschnicke |
An ER-Based Framework for Declarative Web Programming. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck |
Transforming Functional Logic Programs into Monadic Functional Programs. |
WFLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Lazy and Enforceable Assertions for Functional Logic Programs. |
WFLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Christof Kluß |
Declarative Programming of User Interfaces. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Michael Hanus |
Set functions for functional logic programming. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
rewrite systems, non-determinism, subspaces, functional logic programming languages |
| 1 | Walter Dosch, Michael Hanus |
Vorwort der Workshop-Leitung. |
GI Jahrestagung |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus (eds.) |
Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Seipel, Michael Hanus, Armin Wolf (eds.) |
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 |
INAP/WLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Braßel, Michael Hanus, Marion Müller |
High-Level Database Programming in Curry. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Call pattern analysis for functional logic programs. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
program analysis, functional logic programming |
| 1 | Michael Hanus |
Reporting Failures in Functional Logic Programs. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
A Generic Analysis Environment for Curry Programs |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bernd Braßel, Michael Hanus, Marion Müller |
Compiling ER Specifications into Declarative Programs |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus (eds.) |
Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. |
PADL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
Multi-paradigm Declarative Languages. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal |
Lazy call-by-value evaluation. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
debugging techniques, laziness |
| 1 | Michael Hanus |
Putting declarative programming into the web: translating curry to javascript. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
user interfaces, javascript, web programming, functional logic programming, curry |
| 1 | Sergio Antoy, Michael Hanus |
Overlapping Rules and Logic Variables in Functional Logic Programs . |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Type-oriented construction of web user interfaces. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
user interfaces, web programming, functional logic programming |
| 1 | Michael Hanus |
Adding Constraint Handling Rules to Curry. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal |
Operational semantics for declarative multi-paradigm languages. |
J. Symb. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal |
Specialization of functional logic programs based on needed narrowing. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Braßel, Michael Hanus |
Nondeterminism Analysis of Functional Logic Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Michael Hanus (eds.) |
Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005 |
WCFLP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
A generic analysis environment for declarative programs. |
WCFLP |
2005 |
DBLP DOI BibTeX RDF |
program analysis, programming environments, functional logic programming |
| 1 | Sergio Antoy, Michael Hanus |
Declarative Programming with Function Patterns. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein (eds.) |
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 |
INAP/WLP |
2005 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal |
Specialization of Functional Logic Programs Based on Needed Narrowing |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sergio Antoy, Michael Hanus |
Concurrent distinct choices. |
J. Funct. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch |
Observing Functional Logic Computations. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal |
A semantics for tracing declarative multi-paradigm programs. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
semantics, tracing, functional logic programming |
| 1 | Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal |
Run-Time Profiling of Functional Logic Programs. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach |
A Virtual Machine for Functional Logic Computations. |
IFL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Germán Vidal |
A residualizing semantics for the partial evaluation of functional logic programs. |
Inf. Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Klaus Höppner, Frank Huch |
Towards translating embedded Curry to C. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Bernd Brassel, Michael Hanus |
Conditional narrowing without conditions. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
conditional rewriting, narrowing, functional logic programming, evaluation strategies |
| 1 | Elvira Albert, Michael Hanus, Germán Vidal |
A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. |
Journal of Functional and Logic Programming |
2002 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal |
An Operational Semantics for Declarative Multi-Paradigm Languages. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal |
Operational Semantics for Functional Logic Languages. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Klaus Höppner |
Programming Autonomous Robots in Curry. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Michael Hanus |
Functional Logic Design Patterns. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Reduction Strategies for Declarative Programming. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Salvador Lucas |
An Evaluation Semantics for Narrowing-Based Functional Logic Languages. |
Journal of Functional and Logic Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
High-Level Server Side Web Scripting in Curry. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Johannes Koj |
An Integrated Development Environment for Declarative Multi-Paradigm Programming. |
WLPE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Germán Vidal |
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner |
An Implementation of Narrowing Strategies. |
PPDP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Sergio Antoy, Rachid Echahed, Michael Hanus |
A needed narrowing strategy. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
call-by-need, narrowing strategies, rewrite systems, functional logic programming languages |
| 1 | Michael Hanus |
A Functional Logic Programming Approach to Graphical User Interfaces. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Germán Vidal |
Using an Abstract Representation to Specialize Functional Logic Programs. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Michael Hanus |
Compiling Multi-Paradigm Declarative Programs into Prolog. |
FroCos |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Frank Steiner |
Type-based nondeterminism checking in functional logic programs. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Server Side Web Scripting in Curry. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Germán Vidal |
Realistic Program Specialization in a Multi-Paradigm Language. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus, Frank Huch, Philipp Niederau |
ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. |
IFL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
TkCurry: A Declarative Approach to GUI Programming. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
PACS: The Portland Aachen Curry System. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
Server Side Web Scripting in Curry. |
15. WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Frank Steiner, Michael Hanus |
Type-based Nondeterminism Checking in Functional Logic Programs. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus, Ramin Sadre |
An Abstract Machine for Curry and Its Concurrent Implementation in Java. |
Journal of Functional and Logic Programming |
1999 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus, Christian Prehofer |
Higher-Order Narrowing with Definitional Trees. |
J. Funct. Program. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal |
A Partial Evaluation Framework for Curry Programs. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal |
Specialization of Inductively Sequential Functional Logic Programs. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Salvador Lucas |
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages. |
Fuji International Symposium on Functional and Logic Programming |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Distributed Programming in a Multi-Paradigm Declarative Language. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Salvador Lucas, Aart Middeldorp |
Strongly Sequential and Inductively Sequential Term Rewriting Systems. |
Inf. Process. Lett. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Frank Steiner |
Controlling Search in Funtional Logic Programs. |
IJCSLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus, Frank Steiner |
Controlling Search in Declarative Programs. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Integration of Declarative Paradigms: Benefits and Challenges. |
SIGPLAN Notices |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Lazy Narrowing with Simplification. |
Comput. Lang. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Jan Heering, Karl Meinke (eds.) |
Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings |
ALP/HOA |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
A Unified Computation Model for Declarative Programming. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Sergio Antoy, Rachid Echahed, Michael Hanus |
Parallel Evaluation Strategies for Functional Logic Languages. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
A Unified Computation Model for Functional and Logic Programming. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Multi-Paradigm Declarative Programming (Abstract). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
Teaching Functional and Logic Programming with a Single Computational Model. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
Keyword Functional logic languages, integration of paradigms, lazy evaluation, residuation, narrowing |
| 1 | Michael Hanus |
Curry: A Multi-Paradigm Declarative Language (system description). |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
Integration of Declarative Paradigms: Benefits and Challenges. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Herbert Kuchen |
Integration of Functional and Logic Programming. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Mario Rodríguez-Artalejo (eds.) |
Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings |
ALP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus, Salvador Lucas |
A Denotational Semantics for Needed Narrowing. |
APPIA-GULP-PRODE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus, Christian Prehofer |
Higher-Order Narrowing with Definitional Trees. |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Analysis of Residuating Logic Programs. |
J. Log. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Compile-time Analysis of Nonlinear Constraints in CLP(R). |
New Generation Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
On Extra Variables in (Equational) Logic Programming. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
Functional Logic Languages: Combine Search and Efficient Evaluation (Panel Abstract). |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
Efficient Translation of Lazy Functional Logic Programs into Prolog. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
The Integration of Functions into Logic Programming: From Theory to Practice. |
J. Log. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Rachid Echahed, Michael Hanus |
A Needed Narrowing Strategy. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")