BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Hungary
1 × The Netherlands
Collaborated with:
H.Kirchner C.Kirchner P.Moreau C.Ringeissen M.Vittek C.Castro S.Jamoussi
Talks about:
elan (9) rewrit (8) strategi (4) control (4) logic (3) function (2) semant (2) view (2) understand (1) constraint (1)

Person: Peter Borovanský

DBLP DBLP: Borovansk=yacute=:Peter

Contributed to:

ICSM 20052005
FLOPS 19981998
IJFCS/FLOPS 19982001
WRLA 19981998
ASF+SDF 19971997
WRLA 19961996
WRLA 19962002

Wrote 12 papers:

ICSM-IT-2005-VittekBM #c++ #comprehension #java #plugin #refactoring
A collection of C, C++ and Java code understanding and refactoring plugins (MV, PB, PEM), pp. 61–64.
FLOPS-1998-BorovanskyKK #functional #semantics
A Functional View of Rewriting and Strategies for a Semantics of ELAN (PB, CK, HK), pp. 143–166.
FLOPS-J1-1998-BorovanskyKKR01 #functional #semantics
Rewriting with Strategies in ELAN: A Functional Semantics (PB, CK, HK, CR), pp. 69–95.
WRLA-1998-Borovansky #implementation
Controlling rewriting: study and implementation of a strategy formalism (PB), pp. 299–310.
WRLA-1998-BorovanskyC #constraints #process #theorem proving #using
Cooperation of constraint solvers: using the new process control facilities of ELAN (PB, CC), pp. 1–20.
WRLA-1998-BorovanskyJMR #source code
Handling ELAN rewrite programs via an exchange format (PB, SJ, PEM, CR), p. 173.
WRLA-1998-BorovanskyKKMR #overview
An overview of ELAN (PB, CK, HK, PEM, CR), pp. 55–70.
ASF+SDF-1997-BorovanskyK #partial evaluation
Strategies of ELAN: meta-interpretation and partial evaluation (PB, HK), p. 2.
ASF+SDF-1997-BorovanskyKK #logic #specification
Rewriting as a unified specification tool for logic and control: the ELAN language (PB, CK, HK), p. 3.
RWLW-1996-BorovanskyKK
Controlling rewriting by rewriting (PB, CK, HK), pp. 169–189.
RWLW-1996-BorovanskyKKMV #framework #logic #named
ELAN: A logical framework based on computational systems (PB, CK, HK, PEM, MV), pp. 35–50.
WRLA-J-1996-BorovanskyKKM02 #logic #perspective
ELAN from a rewriting logic point of view (PB, CK, HK, PEM), pp. 155–185.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.