List of Publications
-
Marian Vittek, Peter Borovansky, Pierre-Etienne Moreau: A collection of C, C++ and Java code understanding and refactoring plugins.
Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume.
ICSM 2005, 25-30 September 2005, Budapest, Hungary, University of Szeged,
-
Marian Vittek, Peter Borovansky, Pierre-Etienne Moreau: A collection of C, C++ and Java code understanding and refactoring plugins.
Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume.
ICSM 2005, 25-30 September 2005, Budapest, Hungary, University of Szeged,
-
Marian Vittek: A Refactoring Browser with Preprocessor.
In Proceedings of the 7th European Conference on Software Maintenance and
Reengineering (ECSMR), Benevento, Italy, IEEE Computer Society, 2003.
postscript.
-
Pierre-Etienne Moreau, Christophe Ringeissen, Marian
Vittek: A Pattern Matching Compiler for Multiple Target
Languages.
In Gerel Hedin, editor, Proceedings of the International Conference on Compiler Construction,
Warsaw, Poland, Lecture Notes in Computer Science, Vol. 2622, Springer, 2003.
-
P. Moreau and C. Ringeissen and M. Vittek: A Pattern-Matching Compiler,
Workshop on Language Descriptions, Tools and Applications (LDTA'01),
Volume 44.2, Electronic Notes in Theoretical Computer Science, Elsevier, 2001,
-
M. Vittek. A Compiler for Nondeterministic Term Rewriting Systems.
In Harald Ganzinger, editor, Proceedings of the 7th International
Conference RTA'96, New Brunswick, NJ, USA, Springer LNCS Vol. 1103, 1996.
postscript.
-
Peter Borovansky, Claude Kirchner, H'el`ene Kirchner, Pierre-Etienne
Moreau, and Marian Vittek. ELAN: A logical framework based on
computational systems. In Jos'e Meseguer, editor, Proceedings of the
first international workshop on rewriting logic, Asilomar (California), September 1996, volume 4 of
Electronic Notes in Theoretical Computer Science, Elsevier, 1996.
postscript.
-
Claude Kirchner, Helene Kirchner, and Marian Vittek. Designing CLP
using Computational Systems. In V. Saraswat and P. Van Hentenryck,
editors, Principles and Practice of Constraint Programming, The MIT
Press, Cambridge, MA, USA, 1995.
postscript.
-
M. Vittek. ELAN: Un cadre logique pour le prototypage de langages de
programmation avec contraintes. PhD thesis, These de l'Universite de
Nancy 1, Novembre 1994.
postscript.
-
Claude Kirchner, Helene Kirchner, and Marian Vittek.
Designing constraint logic programming languages using computational
systems.
In F. Orejas, editor, Proceedings of the 2nd CCL Workshop, La
Escala (Spain), September 1993.
-
Claude Kirchner, Helene Kirchner, and Marian Vittek.
Implementing computational systems with constraints.
In Paris Kanellakis, Jean-Louis Lassez, and Vijay Saraswat, editors,
Proceedings of the first Workshop on Principles and Practice of
Constraint Programming, Providence (R.I., USA), pages 166--175. Brown
University, 1993.
postscript.
-
Claude Kirchner, Helene Kirchner, and Marian Vittek.
Implementation of computational logics with constraints or
ECOLOG-Nancy, a meta-language for specifing logic programming languages.
In E. Domenjoud and Claude Kirchner, editors, Proceedings of
CCL'92, Le Val d'Ajol (France), 1992.
-
M. Vittek.
A combinatory logic rewriting relation which supports narrowing.
In Franz Baader, J. Siekmann, and W. Snyder, editors,
Proceedings 6th International Workshop on Unification, Dagstuhl (Germany).
Dagstuhl seminar, July 1992.
-
M. Vittek.
Karel the Robot in three dimensions. Journal of Mathematics and
Physics in Schools. Vol.8, Czechoslovakia, April 1990. (in Slovak
language).
-
M. Vittek.
An efficient many to one unification algorithm for linear terms.
In Proceedings of the first Logic Programming conference,
Czechoslovakia. 1990. (in Slovak language).