Peter Borovanský

Publication Activity (10 Years)

Years Active: 1995-2006
Publications (10 Years): 0

Publications

Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau
A C++ Refactoring Browser and Method Extraction. SET (2006)
Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau
A Simple Generic Library for C. ICSR (2006)
Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau
A collection of C, C++ and Java code understanding and refactoring plugins. ICSM (Industrial and Tool Volume) (2005)
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
ELAN from a rewriting logic point of view. Theor. Comput. Sci. 285 (2) (2002)
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen
Rewriting with Strategies in ELAN: A Functional Semantics. Int. J. Found. Comput. Sci. 12 (1) (2001)
Carlos Castro, Peter Borovanský
The use of a strategy language for solving search problems. Ann. Math. Artif. Intell. 29 (1-4) (2000)
Peter Borovanský, Claude Kirchner, Hélène Kirchner
A Functional View of Rewriting and Strategies for a Semantics of ELAN. Fuji International Symposium on Functional and Logic Programming (1998)
Peter Borovanský
Controlling rewriting: study and implementation of a strategy formalism. WRLA (1998)
Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen
Handling ELAN rewrite programs via an exchange format. WRLA (1998)
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen
An overview of ELAN. WRLA (1998)
Peter Borovanský, Carlos Castro
Cooperation of constraint solvers: using the new process control facilities of ELAN. WRLA (1998)
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek
ELAN: A logical framework based on computational systems. WRLA (1996)
Peter Borovanský, Claude Kirchner, Hélène Kirchner
Controlling rewriting by rewriting. WRLA (1996)
Peter Borovanský
Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution. SOFSEM (1995)