Ulrich Neumerkel

22 papers B 3C 3Journal 2Unranked 13

Year	Rank	Type	Title / 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