Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Ulrich
    Last name: Neumerkel
    DBLP: n/UlrichNeumerkel
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 22 of 22  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Ulrich Neumerkel, Stefan Kral.
    Indexing dif/2.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Markus Triska, Ulrich Neumerkel, Jan Wielemaker.
    Better Termination for Prolog with Constraints
    CoRR 2009, Volume 0 (0) 2009
    Conference paper
    Ulrich Neumerkel, Markus Triska, Jan Wielemaker.
    Declarative language extensions for prolog courses.
    Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008 2008 (0) 2008
    Conference paper
    Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel.
    Non-Termination Inference for Optimal Termination Conditions of Logic Programs.
    Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France 2002 (0) 2002
    Conference paper
    Ulrich Neumerkel, Stefan Kral.
    Declarative program development in Prolog with GUPU.
    WLPE 2002 (0) 2002
    Conference paper
    Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel.
    Detecting Optimal Termination Conditions of Logic Programs.
    Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Ulrich Neumerkel, Stefan Kral.
    Declarative program development in Prolog with GUPU
    CoRR 2002, Volume 0 (0) 2002
    Conference paper
    Frédéric Mesnard, Ulrich Neumerkel, Étienne Payet.
    cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog.
    Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris 2001 (0) 2001
    Conference paper
    Frédéric Mesnard, Ulrich Neumerkel.
    Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs.
    Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel.
    cTI: Bottom-Up Termination Inference for Logic Programs.
    15. WLP 2000 (0) 2000
    Conference paper
    Stefan Kral, Frédéric Mesnard, Ulrich Neumerkel.
    Slicing zur Fehlersuche in Logikprogrammen.
    WLP 2000 (0) 2000
    Conference paper
    Ulrich Neumerkel, Frédéric Mesnard.
    Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices.
    Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29 - October 1, 1999, Proceedings 1999 (0) 1999
    Conference paper
    Ulrich Neumerkel, Christoph Rettig, Christian Schallart.
    Visualizing Solutions with Viewers.
    LPE 1997 (0) 1997
    Conference paper
    Ulrich Neumerkel.
    Interprocedural Register Allocation for the WAM based on Source to Source Transformations.
    JICSLP 1996 (0) 1996
    Conference paper
    Ulrich Neumerkel.
    GUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract).
    JICSLP 1996 (0) 1996
    Conference paper
    Teresita Krueger, George Kurian, Anil Nair, Gustaf Neumann, Ulrich Neumerkel, Stefan Nusser, Peter B. Reintjes, Andrew Taylor, Daphne Tzoar, Adrian Walker.
    People Oriented Software Technology, and its Use in Environmental Reporting
    Database and Expert Systems Applications, 6th International Conference, DEXA'95, London, United Kingdom, September 4-8, 1995, Proceedings 1995 (0) 1995
    Conference paper
    Ulrich Neumerkel.
    Interprozedurale Registerallokation durch Quelltexttransformationen.
    WLP 1995 (0) 1995
    Conference paper
    Paul Tarau, Ulrich Neumerkel.
    A Novel Term Compression Scheme and Data Representation in the BinWAM.
    Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings 1994 (0) 1994
    Conference paper
    Ulrich Neumerkel.
    Une transformation de programme basée sur la notion d'équations entre termes.
    2èmes Journées Francophones de Programmation Logique (JFPL 93), Nimes, France 1993 (0) 1993
    Conference paper
    Ulrich Neumerkel.
    A Transformation Based in the Equality Between Terms.
    LOPSTR 1993 (0) 1993
    Conference paper
    Ulrich Neumerkel.
    Pruning Infinite Failure Branches in Programs with Occur-Check.
    Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings 1992 (0) 1992
    Conference paper
    Andreas Krall, Ulrich Neumerkel.
    The Vienna Abstract Machine.
    Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings 1990 (0) 1990
    Show item 1 to 22 of 22  

    Your query returned 22 matches in the database.