2009 |
20 | EE | Markus Triska,
Ulrich Neumerkel,
Jan Wielemaker:
Better Termination for Prolog with Constraints
CoRR abs/0903.2168: (2009) |
2002 |
19 | | Frédéric Mesnard,
Étienne Payet,
Ulrich Neumerkel:
Non-Termination Inference for Optimal Termination Conditions of Logic Programs.
JFPLC 2002: 87- |
18 | EE | Frédéric Mesnard,
Étienne Payet,
Ulrich Neumerkel:
Detecting Optimal Termination Conditions of Logic Programs.
SAS 2002: 509-526 |
17 | EE | Ulrich Neumerkel,
Stefan Kral:
Declarative program development in Prolog with GUPU.
WLPE 2002: 77-86 |
16 | EE | Ulrich Neumerkel,
Stefan Kral:
Declarative program development in Prolog with GUPU
CoRR cs.SE/0207044: (2002) |
2001 |
15 | | Frédéric Mesnard,
Ulrich Neumerkel,
Étienne Payet:
cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog.
JFPLC 2001: 271-286 |
14 | EE | Frédéric Mesnard,
Ulrich Neumerkel:
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs.
SAS 2001: 93-110 |
2000 |
13 | | Serge Burckel,
Sébastien Hoarau,
Frédéric Mesnard,
Ulrich Neumerkel:
cTI: Bottom-Up Termination Inference for Logic Programs.
15. WLP 2000: 123-134 |
12 | | Stefan Kral,
Frédéric Mesnard,
Ulrich Neumerkel:
Slicing zur Fehlersuche in Logikprogrammen.
WLP 2000: 241-243 |
1999 |
11 | | Ulrich Neumerkel,
Frédéric Mesnard:
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices.
PPDP 1999: 328-342 |
1997 |
10 | | Ulrich Neumerkel,
Christoph Rettig,
Christian Schallart:
Visualizing Solutions with Viewers.
LPE 1997: 43-50 |
1996 |
9 | | Ulrich Neumerkel:
Interprocedural Register Allocation for the WAM based on Source to Source Transformations.
JICSLP 1996: 127-141 |
8 | | Ulrich Neumerkel:
GUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract).
JICSLP 1996: 549 |
1995 |
7 | | 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
DEXA 1995: 136-145 |
6 | | Ulrich Neumerkel:
Interprozedurale Registerallokation durch Quelltexttransformationen.
WLP 1995: 171-178 |
1994 |
5 | | Paul Tarau,
Ulrich Neumerkel:
A Novel Term Compression Scheme and Data Representation in the BinWAM.
PLILP 1994: 73-87 |
1993 |
4 | | Ulrich Neumerkel:
Une transformation de programme basée sur la notion d'équations entre termes.
JFPL 1993: 215-229 |
3 | | Ulrich Neumerkel:
A Transformation Based in the Equality Between Terms.
LOPSTR 1993: 162-176 |
1992 |
2 | | Ulrich Neumerkel:
Pruning Infinite Failure Branches in Programs with Occur-Check.
LPAR 1992: 172-177 |
1990 |
1 | | Andreas Krall,
Ulrich Neumerkel:
The Vienna Abstract Machine.
PLILP 1990: 121-135 |