Ulrich Neumerkel
Ulrich Neumerkel
Verified email at complang.tuwien.ac.at - Homepage
Title
Cited by
Cited by
Year
Extensible unification by metastructures
U Neumerkel
Proceeding of the META 90, 1990
641990
Applying static analysis techniques for inferring termination conditions of logic programs
F Mesnard, U Neumerkel
International Static Analysis Symposium, 93-110, 2001
542001
The Vienna abstract machine
A Krall, U Neumerkel
International Workshop on Programming Language Implementation and Logic …, 1990
391990
A novel term compression scheme and data representation in the binwam
P Tarau, U Neumerkel
International Symposium on Programming Language Implementation and Logic …, 1994
301994
Specialization of Prolog programs with partially static goals and binarization
UW Neumerkel
na, 1992
191992
Detecting optimal termination conditions of logic programs
F Mesnard, E Payet, U Neumerkel
International Static Analysis Symposium, 509-525, 2002
152002
Localizing and explaining reasons for non-terminating logic programs with failure-slices
U Neumerkel, F Mesnard
International Conference on Principles and Practice of Declarative …, 1999
121999
Precise garbage collection in Prolog
J Wielemaker, U Neumerkel
CICLOPS 8, 1-15, 2008
102008
GUPU: A Prolog course environment and its programming methodology
U Neumerkel
GMD STUDIEN, 213-222, 1996
101996
A transformation based on the equality between terms
U Neumerkel
Logic Program Synthesis and Transformation, 162-176, 1994
101994
The binary WAM, a simplified Prolog engine
U Neumerkel
Technical report, Technische Universität Wien, 1993. http://www. complang …, 1993
91993
Compact representation of terms and instructions in the BinWAM
P Tarau, U Neumerkel
Technical Report 93-3, Dept. d'Informatique, Universit e de Moncton, 1993
71993
cTI: Bottom-Up Termination Inference for Logic Programs.
S Burckel, S Hoarau, F Mesnard, U Neumerkel
WLP, 123-134, 2000
62000
A programming course for declarative programming with Prolog
U Neumerkel
61997
Teaching Prolog and CLP
U Neumerkel
Tutorial. PAP 95, 1995
61995
Lambdas und Schleifen in monotonen Logikprogrammen
U Neumerkel
Kolloquium Programmiersprachen und Grundlagen der Programmierung, 2009
42009
Declarative program development in Prolog with GUPU
U Neumerkel, S Kral
arXiv preprint cs/0207044, 2002
42002
Continuation Prolog: A new intermediary language for WAM and BinWAM code generation
U Neumerkel
Post-ILPS’95 Workshop on Implementation of Logic Programming Languages. F16G, 1995
41995
Visualizing Solutions with Viewers.
U Neumerkel, C Rettig, C Schallart
LPE, 43-50, 1997
31997
Une transformation de programme basée sur la notion d'équations entre termes.
U Neumerkel
JFPL, 215-229, 1993
31993
The system can't perform the operation now. Try again later.
Articles 1–20