BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Neumerkel:Ulrich

Contributed to:

SAS 20022002
SAS 20012001
PPDP 19991999
JICSLP 19961996
PLILP 19941994
LOPSTR 19931993
PLILP 19901990

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.