All recent documents related to ISO/IEC SC22 WG17 can be found on this site.
Indexing dif/2
U. Neumerkel and S. Kral. arXiv:1607.01590 [cs.PL]. July 2016.
Monotone bedingte Verzweigungen in Logikprogrammen. [slides]
KPS, Pörtschach, October 2015.
An error class for unexpected instantiations. [Working document]
U. Neumerkel, M. Triska. ISO/IEC SC22 WG17. N213, October 2009.
Lambdas und Schleifen in monotonen Logikprogrammen. [slides]
KPS, Maria Taferl, October 2009.
Draft proposal for setup_call_cleanup/3. Cleanup mechanism for ISO Prolog. [Working document]
ISO/IEC SC22 WG17 N211, Pasadena, July 2009; N215, October 2009.
Mechanisms for side-effect free I/O [Slides]
Invited talk at CICLOPS, Pasadena 2009.
Lambdas in ISO Prolog.
online only, June 2009.
Systematisches Testen eines Constraint-Systems.
ZIDline 19, Wien 2008.
Better Termination for Prolog with Constraints. [Slides]
M. Triska, U. Neumerkel, J. Wielemaker. WLPE, Udine 2008.
Precise Garbage Collection in Prolog.
J. Wielemaker, U. Neumerkel. CICLOPS, Udine 2008.
A Generalized Finite Domain Constraint Solver for SWI-Prolog.
M. Triska, U. Neumerkel, J. Wielemaker. WLP, Dresden 2008.
Declarative Language Extensions for Prolog Courses. [ACM portal, Slides]
U. Neumerkel, M. Triska, J. Wielemaker. FDPE, Victoria 2008.
Logikorientierte Programmierung. Eine Vorschau. pdf.
Poster. CS beginners' day, TU Wien, Wien 2003.
Programmierung logischer Agenten in GUPU.
Talk, Universität Essen, Essen 2003.
Detecting Optimal Termination Conditions of Logic Programs.
F. Mesnard, E. Payet, U. Neumerkel. 9th Static Analysis Symposium (SAS'02), Madrid 2002.
Declarative program development in Prolog with GUPU. ps.gz. [slides]
U. Neumerkel, St. Kral. 12th Workshop on Logic Programming Environments (WLPE), Copenhagen 2002.
Non-termination inference for optimal termination conditions of logic programs.
F. Mesnard, E. Payet, U. Neumerkel. Onzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes (JFPLC'2002), Paris 2002.
Applying static analysis techniques for inferring termination conditions of logic programs. ps.gz.
F. Mesnard, U. Neumerkel. 8th Static Analysis Symposium (SAS'01), Paris 2001.
Localisation des erreurs par « slicing » dans les programmes logiques avec contraintes. ps.gz. [abstract]
Demo. JFPLC'01, Paris 2001.
GUPU - un environnement pour l'enseignement de Prolog et de la PLC. ps.gz. [abstract]
Poster. JFPLC'01, Paris 2001.
cTI : un outil pour l'inférence de conditions optimales de terminaison pour Prolog.
F. Mesnard, U. Neumerkel, E. Payet. Dixièmes Journées Francophones sur la Programmation en Logique et Programmation par Contraintes (JFPLC'2001), Paris 2001.
cTI: Bottom-Up Termination Inference for Logic Programs.
S. Burkel, S. Hoarau, F. Mesnard, U. Neumerkel. 15th Workshop on Logic Programming and Constraint Systems, Berlin 2000.
Implementing cTI: a constraint-based left-termination inference tool for LP.
F. Mesnard, U. Neumerkel, S. Hoarau. Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming, London 2000.
GUPU - Eine Prolog-Lernumgebung. Deklaratives Programmieren mit Prolog und Constraints. ps.gz.
Talk Vortragsreihe des Instituts Wirtschaftsinformatik der Produktionsunternehmen, Universität Essen, Essen 2000.
Localisation des erreurs par "slicing" dans les programmes logiques avec contraintes.
Talk. Séminaire de l'IREMIA. Université de la Réunion, St. Denis 2000.
Slicing zur Fehlersuche in (Constraint-) Logikprogrammen. ps.gz. [slides, ps.gz]
S. Kral, F. Mesnard, U. Neumerkel. Demo. 14. Workshop Logische Programmierung (WLP), Würzburg 2000.
CHR for prototyping abstract interpretatons.
F. Mesnard, U. Neumerkel. St. Denis 1999.
Localizing and explaining reasons for nonterminating logic programs with failure slices. ps.gz.
U. Neumerkel, F. Mesnard. Int-l Conference on Principles and Practice of Declarative Programming (PPDP'99), Paris 1999.
MERGEMEM.
Ph. Reisner, U. Neumerkel, Ph. Richter. 6th Int-l Linux-Kongress, GUUG, Augsburg 1999.
Termination slicing in logic programs. ps.gz. [slides]
INTAS Workshop on Efficient Symbolic Computing, Kiew 1998.
Slicing nichtterminierender Programme. ps.gz.
U. Neumerkel. 13. Workshop Logische Programmierung, Vienna 1998.
A programming course for declarative programming with Prolog.
U. Neumerkel. Technical report, Vienna 1997.
Teaching Prolog and CLP.
Tutorial at ICLP, Leuven 1997.
Visualizing Solutions with Viewers. ps.gz.
U. Neumerkel, Ch. Rettig, Ch. Schallhart. Workshop on Logic Programming Environments (WLPE'97), Leuven 1997.
Guiding heuristics for transformation based interprocedural register allocation in Continuation Prolog.
INTAS-Workshop, St. Petersburg 1996.
Interprocedural register allocation for the WAM based on source-to-source transformations. ps.gz. [slides]
U. Neumerkel. Joint Int-l Conference and Symposium on Logic Programming (JICSLP'96), Bonn 1996.
GUPU: A Prolog course environment and its programming methodology. ps.gz.
Poster at JICSLP'96, Bonn 1996.
Continuation Prolog: A new intermediary language for WAM and BinWAM code generation. ps.gz.
U. Neumerkel. Workshop on Sequential Implementation Technologies for Logic Programming Languages, Portland 1995.
Transforming binary logic programs using Continuation Prolog.
Talk INTAS-Workshop, Namur 1995.
Copying overlapping terms. ps.gz.
U. Neumerkel. Vienna 1995.
Teaching Beginners Prolog - How to Teach Prolog. ps.gz. [slides]. ps.gz.
U. Neumerkel. Tutorial at PAP'95, Paris 1995.
People Oriented Software Technology, and its Use in Environmental Reporting.
T. Krueger, G. Kurian, A. Nair, G. Neumann, U. Neumerkel, S. Nusser, P. Reintjes, A. Taylor, D. Tzoar, A. Walker. 6th Int-l Conference and Workshop on Database and Expert System Applications (DEXA'95), London 1995. (Also IBM research report RC 20034 4/12/95, ID 6974)
Interprozedurale Registerallokation durch Quelltexttransformationen.
U. Neumerkel. 11. Workshop Logische Programmierung, Vienna 1995.
English Executable Specifications: Their Use in Environmental Reporting and in Insurance Business Modelling.
T. Krueger, G. Kurian, A. Nair, G. Neumann, U. Neumerkel, St. Nusser, P. Reintjes, A. Taylor, D. Tzoar, A. Walker. Computer Sciences Expo 1995, IBM Corporation, New York 1995.
A Program Transformation Based on Equality between Terms.
Talk at Watson Research, IBM, Yorktown Heights 1994.
A Novel Term Compression Scheme and Data Representation in the BinWAM.
P. Tarau, U. Neumerkel. Programming Languages Implementation and Logic Programming (PLILP'94), Madrid 1994.
The binary WAM, a simplified Prolog engine.
Talk at KFKI, Budapest 1993.
Compact representation of terms and instructions in the BinWAM.
P. Tarau, U. Neumerkel. Technical Report 93-3, Dept. d'Informatique, Université de Moncton, Moncton 1993.
A Transformation Based on the Equality between Terms. ps.gz.
U. Neumerkel. Logic Program Synthesis and Transformation (LOPSTR'93), Louvain-la-Neuve 1993.
Une transformation de programme basée sur la notion d'équations entre termes. ps.gz.
U. Neumerkel. Secondes journées francophones sur la programmation en logique (JFPL'93), Nîmes-Avignon 1993.
Specialization of Prolog programs with partially static goals and binarization. ps.gz.
U. Neumerkel. Dissertation, TU Wien, Vienna 1992.
Pruning infinite failure branches in programs with occur-check.
U. Neumerkel. Logic Programming and Automated Reasoning (LPAR'92), St.Petersburg 1992.
La machine abstraite de Vienne.
U. Neumerkel. Talk. Université Rennes, Rennes 1990.
The Vienna Abstract Machine. ps.gz.
A. Krall, U. Neumerkel. Programming Languages Implementation and Logic Programming (PLILP'90), Linköping 1990.
Extensible unification by metastructures. ps.gz.
U. Neumerkel. Metaprogramming in Logic (META'90), Leuven 1990.
Prolog modules: joint French and Austrian proposal.
J.-F. Pique, U. Neumerkel. ISO/IEC JTC1 SC22 WG17 Document N47, Marseille 1989.
Speicherbereinigung für Prologsysteme.
U. Neumerkel. Diplomarbeit (Master thesis), TU Wien, Vienna 1989.
Distributed logic programming.
A. Krall, e. Kühn, U. Neumerkel. Spring EUUG Conference, Brussels 1989.
Programmierbare Unifikation in Prolog.
e. Kühn, U. Neumerkel. OCG-Berichte aus Informatik-Forschungsinstitutionen, Klagenfurt 1989.
Prolog-Tutorial.
Tutorial at UNIX-Forum IV, Vienna 1988.
12th WLPE, 2002-07-04 17th WLP, 4.-6.Sept.
[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]1999-ppdp-corr.pdf2002-05-28 20:49 176K 
[ ]1999-ppdp-corr.ps.gz2002-06-18 19:31 168K 
[ ]1999-wlp.pdf2002-05-28 20:48 61K 
[ ]1999-wlp.ps.gz2002-06-18 19:31 67K 
[ ]1999-wlpsl.pdf2002-05-28 20:41 72K 
[ ]1999-wlpsl.ps.gz2002-06-18 19:31 61K 
[ ]2000-gupu-lernumgebung.pdf2002-06-17 01:39 96K 
[ ]2000-gupu-lernumgebung.ps.gz2002-06-18 19:31 70K 
[ ]2001-JFPLC-abstract.pdf2002-05-29 18:15 45K 
[ ]2001-JFPLC-abstract.ps.gz2002-06-18 19:31 54K 
[ ]2001-JFPLC-demo.pdf2002-05-29 18:15 43K 
[ ]2001-JFPLC-demo.ps.gz2002-06-18 19:31 50K 
[ ]2001-JFPLC-fdemosl.pdf2002-07-25 15:55 85K 
[ ]2001-JFPLC-fdemosl.ps2002-07-25 16:00 173K 
[ ]2001-JFPLC-fdemosl.ps.gz2002-07-25 15:59 66K 
[ ]2003-beginners-day.pdf2003-10-01 12:59 519K 
[ ]2003-gupu-agenten.pdf2003-02-03 08:48 50K 
[ ]2008-ciclops.pdf2009-01-07 18:55 155K 
[ ]2008-fdpe-sl.pdf2008-09-21 22:20 55K 
[ ]2008-fdpe.pdf2008-09-21 08:03 71K 
[ ]2008-wlpe-sl.pdf2008-12-18 11:07 72K 
[ ]2008-wlpe.pdf2008-12-17 01:46 112K 
[ ]2009-kps-sl.pdf2009-10-12 14:41 68K 
[ ]2009-kps.pdf2009-10-14 13:32 77K 
[ ]2009-mechio-sl.pdf2009-07-14 08:31 71K 
[ ]2009-mechio.pdf2009-05-21 04:56 31K 
[ ]2015-kps-3.pdf2015-08-30 20:22 65K 
[ ]2015-kps-sl.pdf2015-10-05 09:52 37K 
[TXT]FOOTER.html2002-11-09 20:52 9  
[ ]binwam-nov93.pdf2002-05-28 20:46 55K 
[ ]binwam-nov93.ps.gz2002-06-18 19:31 58K 
[ ]contp95.pdf2002-06-18 18:55 156K 
[ ]contp95.ps.gz2002-06-18 19:31 148K 
[ ]copying95.pdf2002-06-18 19:07 214K 
[ ]copying95.ps.gz2002-06-18 19:31 133K 
[ ]diss.pdf2002-05-28 20:39 385K 
[ ]diss.ps.gz2002-06-18 19:31 147K 
[ ]fdemojfsl.pdf2002-06-17 05:12 110K 
[ ]fdemojfsl.ps.gz2002-06-18 19:31 116K 
[ ]gupu-wlpe2002.pdf2002-07-22 23:21 359K 
[ ]gupu-wlpe2002.ps.gz2002-07-22 23:23 344K 
[ ]gupu-wlpe2002sl.pdf2002-08-03 13:33 103K 
[ ]indexingdif.pdf2015-10-26 20:33 61K 
[ ]indexingdif2.pdf2016-05-06 17:11 59K 
[ ]jfpl93.pdf2002-05-28 20:51 172K 
[ ]jfpl93.ps.gz2002-06-18 19:31 143K 
[ ]jicslp96.pdf2002-05-28 21:05 138K 
[ ]jicslp96.ps.gz2002-06-18 19:32 131K 
[ ]jicslp96sl.pdf2002-06-19 14:51 104K 
[ ]jicslp96sl.ps.gz2002-06-18 19:32 72K 
[ ]lopstr93.pdf2002-05-28 20:52 194K 
[ ]lopstr93.ps.gz2002-06-18 19:32 179K 
[ ]meta90.pdf2007-05-01 18:08 201K 
[ ]meta90.ps.gz2002-06-18 19:32 194K 
[ ]pap95.pdf2002-06-16 23:24 159K 
[ ]papsl95.pdf2002-06-16 23:20 126K 
[ ]papsl95.ps.gz2002-06-18 19:32 73K 
[ ]poster-bonn.pdf2002-06-17 05:34 637K 
[ ]poster-bonn.ps.gz2002-06-18 19:32 155K 
[ ]sas01.pre.pdf2002-06-17 04:50 259K 
[ ]sas01.pre.ps.gz2002-06-18 19:32 238K 
[ ]sc-sl.pdf2023-11-21 15:29 106K 
[TXT]systematisches_testen_eines_constraint_systems.html2021-09-14 17:29 27K 
[ ]term98.pdf2002-05-28 20:47 122K 
[ ]term98.ps.gz2002-06-18 19:32 118K 
[ ]termd.pdf2002-06-17 00:58 139K 
[ ]termd.ps.gz2002-06-18 19:32 134K 
[ ]termksl.pdf2002-06-18 18:07 64K 
[ ]termksl.ps.gz2002-06-18 19:32 61K 
[ ]tutorial.pdf2002-06-23 16:56 93K 
[ ]vam_afterfinal.pdf2002-05-28 20:45 184K 
[ ]vam_afterfinal.ps.gz2002-06-18 19:32 178K 
[ ]wlpe97.pdf2002-06-17 21:10 387K 
[ ]wlpe97.ps.gz2002-06-18 19:32 394K 
Apache/2.4.62 (Debian) OpenSSL/3.0.15 Server at www.complang.tuwien.ac.at Port 443