Peter Borovanský

According to our database1, Peter Borovanský authored at least 15 papers between 1995 and 2006.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2006
A C++ Refactoring Browser and Method Extraction.
Proceedings of the Software Engineering Techniques: Design for Quality, 2006

A Simple Generic Library for C.
Proceedings of the Reuse of Off-the-Shelf Components, 2006

2005
A collection of C, C++ and Java code understanding and refactoring plugins.
Proceedings of the 21st IEEE International Conference on Software Maintenance, 2005

2002
ELAN from a rewriting logic point of view.
Theor. Comput. Sci., 2002

2001
Rewriting with Strategies in ELAN: A Functional Semantics.
Int. J. Found. Comput. Sci., 2001

2000
The use of a strategy language for solving search problems.
Ann. Math. Artif. Intell., 2000

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).
PhD thesis, 1998

An overview of ELAN.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Handling ELAN rewrite programs via an exchange format.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Cooperation of constraint solvers: using the new process control facilities of ELAN.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Controlling rewriting: study and implementation of a strategy formalism.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

A Functional View of Rewriting and Strategies for a Semantics of ELAN.
Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998

1996
ELAN: A logical framework based on computational systems.
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

Controlling rewriting by rewriting.
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

1995
Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution.
Proceedings of the SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23, 1995


  Loading...