Ulrich Neumerkel

22 papers B 3C 3Journal 2Unranked 13
YearRankTypeTitle / Venue / Authors
2016 J jnl
Indexing dif/2.
CoRR
Ulrich Neumerkel, Stefan Kral
2009 J jnl
Better Termination for Prolog with Constraints
CoRR
Markus Triska, Ulrich Neumerkel, Jan Wielemaker
2008 — conf
Declarative language extensions for prolog courses.
FDPE@ICFP
Ulrich Neumerkel, Markus Triska, Jan Wielemaker
2002 — conf
Declarative program development in Prolog with GUPU.
WLPE
Ulrich Neumerkel, Stefan Kral
2002 B conf
Detecting Optimal Termination Conditions of Logic Programs.
SAS
Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel
2002 — conf
Non-Termination Inference for Optimal Termination Conditions of Logic Programs.
JFPLC
Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel
2001 B conf
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs.
SAS
Frédéric Mesnard, Ulrich Neumerkel
2001 — conf
cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog.
JFPLC
Frédéric Mesnard, Ulrich Neumerkel, Étienne Payet
2000 — conf
Slicing zur Fehlersuche in Logikprogrammen.
WLP
Stefan Kral, Frédéric Mesnard, Ulrich Neumerkel
2000 — conf
cTI: Bottom-Up Termination Inference for Logic Programs.
WLP
Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel
1999 C conf
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices.
PPDP
Ulrich Neumerkel, Frédéric Mesnard
1997 — ed.
Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997
LPE
Anthony J. Kusalik, Mireille Ducassé, Ulrich Neumerkel
1997 — conf
Visualizing Solutions with Viewers.
LPE
Ulrich Neumerkel, Christoph Rettig, Christian Schallart
1996 — conf
GUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract).
JICSLP
Ulrich Neumerkel
1996 — conf
Interprocedural Register Allocation for the WAM based on Source to Source Transformations.
JICSLP
Ulrich Neumerkel
1995 — conf
Interprozedurale Registerallokation durch Quelltexttransformationen.
WLP
Ulrich Neumerkel
1995 C conf
People Oriented Software Technology, and its Use in Environmental Reporting
DEXA
Teresita Krueger, George Kurian, Anil Nair, Gustaf Neumann, Ulrich Neumerkel, Stefan Nusser, Peter B. Reintjes, Andrew Taylor, Daphne Tzoar, Adrian Walker
1994 — conf
A Novel Term Compression Scheme and Data Representation in the BinWAM.
PLILP
Paul Tarau, Ulrich Neumerkel
1993 C conf
A Transformation Based in the Equality Between Terms.
LOPSTR
Ulrich Neumerkel
1993 — conf
Une transformation de programme basée sur la notion d'équations entre termes.
JFPL
Ulrich Neumerkel
1992 B conf
Pruning Infinite Failure Branches in Programs with Occur-Check.
LPAR
Ulrich Neumerkel
1990 — conf
The Vienna Abstract Machine.
PLILP
Andreas Krall, Ulrich Neumerkel