| 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 |
