Peter Borovanský

15 papers B 2Journal 3Unranked 9

Year	Rank	Type	Title / Venue / Authors
2006	—	`conf`	A C++ Refactoring Browser and Method Extraction. SET Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau
2006	B	`conf`	A Simple Generic Library for C. ICSR Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau
2005	—	`conf`	A collection of C, C++ and Java code understanding and refactoring plugins. ICSM (Industrial and Tool Volume) Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau
2002	J	`jnl`	ELAN from a rewriting logic point of view. Theor. Comput. Sci. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
2001	J	`jnl`	Rewriting with Strategies in ELAN: A Functional Semantics. Int. J. Found. Comput. Sci. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen
2000	J	`jnl`	The use of a strategy language for solving search problems. Ann. Math. Artif. Intell. Carlos Castro, Peter Borovanský
1998	—	`conf`	A Functional View of Rewriting and Strategies for a Semantics of ELAN. Fuji International Symposium on Functional and Logic Programming Peter Borovanský, Claude Kirchner, Hélène Kirchner
1998	—	`conf`	An overview of ELAN. WRLA Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen
1998	—	`conf`	Controlling rewriting: study and implementation of a strategy formalism. WRLA Peter Borovanský
1998	—	`conf`	Cooperation of constraint solvers: using the new process control facilities of ELAN. WRLA Peter Borovanský, Carlos Castro
1998	—	`conf`	Handling ELAN rewrite programs via an exchange format. WRLA Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen
1998	—	`—`	Le contrôle de la réécriture : étude et implantation d'un formalisme de stratégies. (Controlling Rewriting : Study and Implementation of a Strategy Formalism). Peter Borovanský
1996	—	`conf`	Controlling rewriting by rewriting. WRLA Peter Borovanský, Claude Kirchner, Hélène Kirchner
1996	—	`conf`	ELAN: A logical framework based on computational systems. WRLA Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek
1995	B	`conf`	Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution. SOFSEM Peter Borovanský