BibSonomy publications for /author/Hanus http://www.bibsonomy.org/author/Hanus BibSonomy RSS Feed for /author/Hanus Call pattern analysis for functional logic programs. dblp http://www.bibsonomy.org/bibtex/25c431e3b3fcf650b7493b8a98954d46c/dblp dblp 2008-11-11T00:00:00+01:00 dblp
Call pattern analysis for functional logic programs.
Michael Hanus PPDP 67-78 (2008)
to dblp by dblp on 2008-11-11 00:00:00
]]> Graph Parser Combinators: A Challenge for Curry-Compilers http://www.bibsonomy.org/bibtex/2659a02f3a8a84f951a8a3d0eafc6448a/smazanek smazanek 2008-10-25T17:41:04+02:00 benchmark combinators curry graph+parsing
Graph Parser Combinators: A Challenge for Curry-Compilers
Steffen Mazanek and Mark Minas 25. Workshop der GI-Fachgruppe ``Programmiersprachen und Rechenkonzepte'' 55-66 (2008)
to benchmark combinators curry graph+parsing by smazanek on 2008-10-25 17:41:04
]]> An Integrated Development Environment for Declarative Multi-Paradigm Programming. dblp http://www.bibsonomy.org/bibtex/28a17797f1bf4f7368d8c8a10be4a68f6/dblp dblp 2008-10-21T00:00:00+02:00 dblp
An Integrated Development Environment for Declarative Multi-Paradigm Programming.
Michael Hanus and Johannes Koj WLPE (2001)
to dblp by dblp on 2008-10-21 00:00:00
]]> Analytical Inductive Functional Programming first regularly published paper on IGOR2.2 http://www.bibsonomy.org/bibtex/204cdcde370d3115dcfd216c4e55b7cdc/emanuel emanuel 2008-09-18T10:43:04+02:00 analytical_ip constructor_systems ifp igor2 induction inductive_programming inproceedings program_synthesis
Analytical Inductive Functional Programming
Emanuel Kitzelmann 18th International Symposium on Logic-Based Program Synthesis and Transformation (2008)
to analytical_ip constructor_systems ifp igor2 induction inductive_programming inproceedings program_synthesis by emanuel on 2008-09-18 10:43:04
]]> Design, die Zukunft des Unternehmens : eine Einführung in das Design imported http://www.bibsonomy.org/bibtex/2774cd1f13444c44f16674dbb5a2ba168/fbw fbw 2008-05-29T13:24:55+02:00 imported
Design, die Zukunft des Unternehmens : eine Einführung in das Design
{Walter} Haberda and {Walter} Hanus (1996)
to imported by fbw on 2008-05-29 13:24:55
]]> Kinematic Calibration and Geometrical Parameter Identification for Robots robotica-bib http://www.bibsonomy.org/bibtex/225d23b002b1873f6845519210c22224b/dmartins dmartins 2008-03-02T02:12:02+01:00 imported
Kinematic Calibration and Geometrical Parameter Identification for Robots
J. M. Renders and E. Rossignol and M. Becquet and R. Hanus IEEE Transactions on Robotics and Automation 7 721--732 (1991)
to imported by dmartins on 2008-03-02 02:12:02
]]> High-Level Database Programming in Curry. dblp http://www.bibsonomy.org/bibtex/21aa8a617ec419edcea8c8ca364e355c5/dblp dblp 2008-01-04T00:00:00+01:00 dblp
High-Level Database Programming in Curry.
Bernd Braßel and Michael Hanus and Marion Müller PADL 316-332 (2008)
to dblp by dblp on 2008-01-04 00:00:00
]]> Compiling ER Specifications into Declarative Programs dblp http://www.bibsonomy.org/bibtex/2903421f09c41094495874de7c9aa96c4/dblp dblp 2008-01-02T00:00:00+01:00 dblp
Compiling ER Specifications into Declarative Programs
Bernd Braßel and Michael Hanus and Marion Müller CoRR abs/0711.0348 (2007)
to dblp by dblp on 2008-01-02 00:00:00
]]> A Generic Analysis Environment for Curry Programs dblp http://www.bibsonomy.org/bibtex/2218d939a909a089ca2cbcab84788dde5/dblp dblp 2008-01-02T00:00:00+01:00 dblp
A Generic Analysis Environment for Curry Programs
Michael Hanus CoRR abs/cs/0701147 (2007)
to dblp by dblp on 2008-01-02 00:00:00
]]> Specialization of Functional Logic Programs Based on Needed Narrowing dblp http://www.bibsonomy.org/bibtex/282d9d06c06cfb6e106c85362005e8fd6/dblp dblp 2008-01-02T00:00:00+01:00 dblp
Specialization of Functional Logic Programs Based on Needed Narrowing
María Alpuente and Michael Hanus and Salvador Lucas and Germán Vidal CoRR cs.PL/0403011 (2004)
to dblp by dblp on 2008-01-02 00:00:00
]]>