Ulrich Neumerkel
Ulrich Neumerkel
Bestätigte E-Mail-Adresse bei complang.tuwien.ac.at - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
A generalised finite domain constraint solver for SWI-Prolog
M Triska, U Neumerkel, J Wielemaker
In Proceedings of the 22nd Workshop on (Constraint) Logic Programming (WLP …, 2008
32008
Visualizing Solutions with Viewers.
U Neumerkel, C Rettig, C Schallart
LPE, 43-50, 1997
31997
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20