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: Borovansk=yacute=:Peter
Contributed to:
2005
19982001
1998
199719962002Wrote 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.