Travelled to:1 × Belgium
1 × Germany
1 × Sweden
2 × France
2 × Spain
Collaborated with:F.Mesnard ∅ P.Tarau A.Krall É.Payet
Talks about:program (3) termin (3) logic (3) transform (2) condit (2) sourc (2) term (2) base (2) wam (2) interprocedur (1)
Person: Ulrich Neumerkel
DBLP: Neumerkel:Ulrich
Contributed to:
20022001
1999
19961994
19931990Wrote 8 papers:
- SAS-2002-MesnardPN #detection #logic programming #source code #termination
- Detecting Optimal Termination Conditions of Logic Programs (FM, ÉP, UN), pp. 509–526.
- SAS-2001-MesnardN #logic programming #source code #static analysis #termination
- Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs (FM, UN), pp. 93–110.
- PPDP-1999-NeumerkelM #logic programming #source code
- Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices (UN, FM), pp. 328–342.
- JICSLP-1996-Neumerkel #interprocedural #text-to-text
- Interprocedural Register Allocation for the WAM based on Source to Source Transformations (UN), pp. 127–141.
- PLILP-1994-TarauN #data transformation #novel #representation
- A Novel Term Compression Scheme and Data Representation in the BinWAM (PT, UN), pp. 73–87.
- LOPSTR-1993-Neumerkel #similarity
- A Transformation Based in the Equality Between Terms (UN), pp. 162–176.
- PLILP-1990-KrallN #automaton
- The Vienna Abstract Machine (AK, UN), pp. 121–135.