Ulrich Neumerkel

According to our database, Ulrich Neumerkel authored at least 21 papers between 1990 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Indexing dif/2.

Ulrich Neumerkel, Stefan Kral

CoRR, 2016

2009

Better Termination for Prolog with Constraints

Markus Triska, Ulrich Neumerkel, Jan Wielemaker

CoRR, 2009

2008

Declarative language extensions for prolog courses.

Ulrich Neumerkel, Markus Triska, Jan Wielemaker

Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

2002

Detecting Optimal Termination Conditions of Logic Programs.

Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel

Proceedings of the Static Analysis, 9th International Symposium, 2002

Declarative program development in Prolog with GUPU.

Ulrich Neumerkel, Stefan Kral

Proceedings of the 12th International Workshop on Logic Programming Environments, 2002

Non-Termination Inference for Optimal Termination Conditions of Logic Programs.

Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel

Proceedings of the Programmation en logique avec contraintes, 2002

2001

Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs.

Frédéric Mesnard, Ulrich Neumerkel

Proceedings of the Static Analysis, 8th International Symposium, 2001

cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog.

Frédéric Mesnard, Ulrich Neumerkel, Étienne Payet

Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

2000

Slicing zur Fehlersuche in Logikprogrammen.

Stefan Kral, Frédéric Mesnard, Ulrich Neumerkel

Proceedings of the 14. Workshop Logische Programmierung, 2000

cTI: Bottom-Up Termination Inference for Logic Programs.

Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel

Proceedings of the WLP 2000, 2000

1999

Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices.

Ulrich Neumerkel, Frédéric Mesnard

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

1997

Visualizing Solutions with Viewers.

Ulrich Neumerkel, Christoph Rettig, Christian Schallart

Proceedings of the 8th Workshop on Logic Programming Environments, 1997

1996

GUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract).

Ulrich Neumerkel

Proceedings of the Logic Programming, 1996

Interprocedural Register Allocation for the WAM based on Source to Source Transformations.

Ulrich Neumerkel

Proceedings of the Logic Programming, 1996

1995

Interprozedurale Registerallokation durch Quelltexttransformationen.

Ulrich Neumerkel

Proceedings of the 11. Workshop Logische Programmierung, 1995

People Oriented Software Technology, and its Use in Environmental Reporting

Teresita Krueger, George Kurian, Anil Nair, Gustaf Neumann, Ulrich Neumerkel, Stefan Nusser, Peter B. Reintjes, Andrew Taylor, Daphne Tzoar, Adrian Walker

Proceedings of the Database and Expert Systems Applications, 1995

1994

A Novel Term Compression Scheme and Data Representation in the BinWAM.

Paul Tarau, Ulrich Neumerkel

Proceedings of the Programming Language Implementation and Logic Programming, 1994

1993

A Transformation Based in the Equality Between Terms.

Ulrich Neumerkel

Proceedings of the Logic Program Synthesis and Transformation, 1993

Une transformation de programme basée sur la notion d'équations entre termes.

Ulrich Neumerkel

Proceedings of the 2èmes Journées Francophones de Programmation Logique (JFPL 93), 1993

1992

Pruning Infinite Failure Branches in Programs with Occur-Check.

Ulrich Neumerkel

Proceedings of the Logic Programming and Automated Reasoning, 1992

1990

The Vienna Abstract Machine.

Andreas Krall, Ulrich Neumerkel

Proceedings of the Programming Language Implementation and Logic Programming, 1990